Berechenbarkeitstheorie
- Polynomialzeitreduktion
- Reduktion
- Probabilistische Entscheidbarkeit
- Polynomialzeit berechenbare Funktion
- Äquivalenz DEA, NEA und Reg
- Turingmaschine
- Reguläre Urbildmengen
- Sequenzielle Funktion
- Partielle Funktion
- Mehrband-Turingmaschine
- Nichtdeterministische Turingmaschine
- Lemma des linear beschränkten Längenwachstum
- Deterministische Turingmaschine
- Lemma des linear beschränkten Abstandswachstum
- Berechenbarkeitstheorie
- Berechnung
- Berechenbare Funktion
- Satz Redundanz zusätzlicher Bänder
- Satz Redundanz von Nichtdeterminismus
- Nichtdeterministischer endlicher Automat
- Konfiguration einer TM
- Deterministischer endlicher Automat
- Akzeptiertes Wort
- Erkannte Sprache