Τυπική γραμματική: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Επιμέλεια με τη χρήση AWB (10197) |
μ →Γραμματικές χωρίς συμφραζόμενα:
προσθηκη "καθε" |
||
Γραμμή 76:
==== Γραμματικές χωρίς συμφραζόμενα ====
Σε μια [[Γραμματική χωρίς συμφραζόμενα]], το αριστερό μέρος
Είναι «Γλώσσα χωρίς συμφραζόμενα» η γλώσσα, (''έστω ότι την ονομάζουμε γλώσσα-2''), <math>\left \{ a^{n}b^{n} | n > 0 \right \}</math> (οποιοδήποτε θετικό πλήθος χαρακτήρων 'a', ακολουθούμενο από ίσο πλήθος χαρακτήρων 'b'), που ορίζεται με την γραμματική <math>G2</math> που έχει <math>N=\left \{S\right \}</math>, <math>\Sigma=\left \{a,b\right \}</math>, αρχικό σύμβολο <math>S</math>, και τους παρακάτω κανόνες παραγωγής:
| |||