Gramè fòmèl: Diferans ant vèsyon yo

Contenu supprimé Contenu ajouté
Gilles2014 (diskisyon | kontribisyon)
Graenmairyen (diskisyon | kontribisyon)
Baliz yo : Modifikasyon mobil Modifikasyon nan sitwèb mobil
Liy 20 :
* Yon ansanm fini pou senbòl, rele yo ''[[Senbòl tèminal yo e non-tèminal yo|non-tèminal]]'', note konvansyonnèlman pa debann majiskil yo,
* Yon eleman pou ansanm non-tèminal yo, rele ''aksyom'', note konvansyonèlman <math>S</math>,
* Yon ansanm deki pou ''règ pou pwodiksyon'', ki se yo k pa de (2) fòme yon non-tèminal e deyon suit deki poy tèminal yo e deki pou non-tèminal yo ; pa egzanp, <math>A \rightarrow ABa</math>
 
Aplike yon règ pou pwodiksyon konsanti ke w ranplase nan yon mo yon okirans pou manm bò goch ki pou règ sa a pa manm li an ki pou dwat ; aplikasyon siksesiv de règ yo ki pou pwodiksyon yo rele yon derivasyon. Langaj defini pa yon gramè se ansanm mo yo ki fòme sèlman de senbòl tèminal yo ki kapab tou atenatenn pa derivasyon ak pati deki pou aksyom nanan.
 
Konsa, gramè defini pa tèminal yo <math>\{a, b\}</math>, non-terminal <math>S</math> la, aksyom lan <math>S</math> e de(2) règ yo ki pou pwodiksyon annapre a :