Verklarende lijst van gebruikte symbolen en afkortingen

 

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}