TSE läuft ab? Hier bestellen... Verwerfen
Where: A, B are nonterminals; a is terminal; α, β, γ are strings of terminals/nonterminals.
Convert NFA to DFA.
Design CFG for balanced parentheses.