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

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 :

: <math>S \to aSb</math>

 

reprezante langaj tout mo yo pou lafòm <math>a^n b^n</math> (yon sèten nonm de <math>a</math> – evantyèlman 0, ann vèti ki pou dezyèm règ la –, suivi ki pou menm nonm de <math>b</math>) : <math>\{\varepsilon, ab, aabb, aaabbb,\ldots\}</math>.