| Theory |
| Themen |
Allgemeine
Theorie:
| Automaten und Sprachen |
| Chomsky-Hierarchie |
| Chomsky-Hierarchie und Automaten |
| Entscheidbare Sprachen |
| Zuordnung einer Sprache |
FSA:
| Finite State Automaton |
| Deterministischer FSA |
| Nicht-deterministischer FSA |
| Trap States |
| Lambda Übergänge |
| Reduzierte DFA |
| Reguläre Sprachen |
| Übergangsnetzwerk |
PDA:
| Push Down Automaton |
| Kontextfreie Sprachen |
| Rekursive Übergangsnetzwerke |
LBA:
| Linear Bounded Automaton |
| Kontextsensitive Sprachen |
| Erweitertes Übergangsnetzwerk |
Turing Machine:
| Turing Machine |
| Unbeschränkte Sprachen |
| Linguistische Variante der TM |
| Das Halteproblem |