| Symbool | Uitspraak | Omschrijving |
| ∑ | sigma | Een alphabet |
| L | Een taal | |
| L' | L accent | De inverse van de taal L, alles wat niet in L zit. |
| λ | labda | Een lege string |
| ∪ | union | Operator om twee verzamelingen samen te voegen |
| ∈ | element van | Is een element van; Voorbeeld: w∈{a,b} w kan nu aa of bb zijn |
| ⊆ | deelverzameling van | Is een deelverzameling van |
| G | Een grammatica | |
| S | Startsymbool, deze variable bevat het resultaat en is altijd onderdeel van V | |
| V | Hulpsymbolen, de verzameling met alle gebruikte variablen | |
| T | Eindsymbolen, de verzameling met het te gebruiken alfabet | |
| P | De productieregels | |
| { } | Een verzameling | |
| |w| | De lengte van variabele w. Als w={ab} betekent dat |w|=2 | |
| | | pipe | Of; S → a | b betekend dat S of a of b kan bevatten |
| ∑* | sigma ster | De verzameling van alle woorden te maken met Σ inclusief een lege string |
| ∑+ | sigma plus | De verzameling van alle woorden te maken met Σ inclusief zonder lege string |
| {a,b} | Een verzameling van een losse a en een losse b | |
| {ab} | Een verzameling met alleen het woord ab (geen komma) |
Een aantal regels:
∑* = L ∪ L'
∑+ = ∑* - λ
|λ| = 0
G={V,T,S,P}