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

:: νήμα που ανήκει στο <math>(\Sigma \cup N)^{*} \longrightarrow</math> νήμα που ανήκει στο <math>(\Sigma \cup N)^{*} </math>

 

* Ένα σύμβολο <math>S</math> που ανήκει στο <math>N</math> και προσδιορίζεται ως ''αρχικό σύμβολο δημιουργίας νήματος'' (ή απλούστερα ''αρχικό σύμβολο'').

 

 

Η ''γλώσσα'' μιας τυπικής γραμματικής <math>G = (N, \Sigma, P, S)</math>, που συμβολίζεται <math>\boldsymbol{L}(G)</math>, ορίζεται ως το σύνολο όλων των νημάτων του <math>\Sigma</math> που μπορούν να παραχθούν ξεκινώντας από ένα νήμα με περιεχόμενο το αρχικό σύμβολο <math>S</math> και εφαρμόζοντας επαναληπτικά στο νήμα τους κανόνες παραγωγής του <math>P</math> μέχρι να μη περιέχει το νήμα μη–τελικά σύμβολα.

 

===Παράδειγμα===