Automatentheorie
- Verstärkungslemma
- Satz Laufzeit zusätzlicher Bänder
- Äquivalenz DEA, NEA und Reg
- Mehrband-Turingmaschine
- Berechnung
- Satz Redundanz zusätzlicher Bänder
- Sequenzielle Maschine
- Satz Redundanz von Nichtdeterminismus
- Satz Anzahl der Konfigurationen eines LBTM
- Probabilistische Turingmaschine
- Potenzmengenkonstruktion
- Nichtdeterministischer endlicher Automat
- Linear beschränkte Turingmaschine
- Konfiguration einer TM
- epsilon-Hülle
- Endlicher Automat
- Deterministischer endlicher Automat
- Elimination von epsilon-Kanten
- Äquivalente Automaten
- Akzeptiertes Wort
- Erkannte Sprache