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}