Τυπική γραμματική: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Tsolakic (συζήτηση | συνεισφορές)
Tsolakic (συζήτηση | συνεισφορές)
Γραμμή 84:
 
==== Κανονικές γραμματικές ====
Σε μια [[Κανονική γραμματική]], το αριστερό μέρος τουκάθε κανόνα παραγωγής περιέχει μόνο ένα μη–τελικό σύμβολο, αλλά και το δεξιό μέρος του κανόνα έχει περιορισμό: Επιτρέπεται να είναι κενό, ή να περιέχει μόνο ένα μη–τελικό σύμβολο, ή να περιέχει μόνο ένα τελικό σύμβολο ακολουθούμενο από ένα μη–τελικό σύμβολο. (Ενίοτε χρησιμοποιείται ένας ευρύτερος ορισμός: επιτρέπονται μακρύτερες στοιχειοσειρές τελικών συμβόλων ή μόνο μη–τελικά σύμβολα, ώστε να είναι ευκολότερη η περιγραφή της γλώσσας, χωρίς να αλλάζει ο τύπος της γλώσσας). Η γλώσσα-2 που ορίσαμε προηγουμένως δεν είναι κανονική, αλλά η επόμενη είναι:
 
Είναι «Κανονική γλώσσα» η γλώσσα, (''έστω ότι την ονομάζουμε γλώσσα-3''), <math>\left \{ a^{n}b^{m} | m, n > 0 \right \}</math> (οποιοδήποτε θετικό πλήθος χαρακτήρων 'a', ακολουθούμενο από οποιοδήποτε θετικό πλήθος χαρακτήρων 'b', όπου τα δύο πλήθη μπορεί να διαφέρουν), καθώς μπορεί να οριστεί από την γραμματική <math>G3</math> με <math>N=\left \{S, A, B\right \}</math>, <math>\Sigma=\left \{a, b\right \}</math>, αρχικό σύμβολο <math>S</math>, και τους ακόλουθους κανόνες παραγωγής: