Ιεραρχία γραμματικών

Τύπου 0: ελεύθερη

με κανόνες της μορφής σ->τ όπου:

• σ ανήκει V⁺
• τ ανήκει V^*

Τύπου 1: γραμματική με συμφραζόμενα (context sensitive grammar)

με κανόνες της μορφής μΑν->μχν όπου:

• μ, ν ανήκουν V^*
• χ ανήκει V⁺
• Α ανήκει V_N

Τύπου 2: γραμματική χωρίς συμφραζόμενα (context free grammar)

με κανόνες της μορφής Α->χ όπου:

• χ ανήκει V^*
• Α ανήκει V_N

Οι γραμματικές αυτές μπορούν να ορίσουν συχνά τη σύνταξη μιας γλώσσας.

Τύπου 3: κανονική γραμματική (regular grammar)

με κανόνες της μορφής Α->α ή Α->αΒ όπου:

• χ ανήκει V^*
• Α, Β ανήκουν V_N
• α ανήκει V_Τ ή είναι το κενό σύμβολο

Οι γραμματικές αυτές μπορούν να ορίσουν συχνά τα λεκτικά στοιχεία μιας γλώσσας.

• ΠροηγούμενηΣυντακτικό δένδρο
• Περιεχόμενα
• ΕπόμενηΣυμβολισμός EBNF

 Τελευταία αλλαγή: Τρίτη, 9 Νοεμβρίου 1999 3:19 μμ
 Εκτός αν αναφέρεται κάτι διαφορετικό, όλο το πρωτότυπο υλικό της σελίδας αυτής του οποίου δημιουργός είναι ο Διομήδης Σπινέλλης παρέχεται σύμφωνα με τους όρους της άδειας «Creative Commons Attribution-Share Alike 3.0 Greece License».