|
In diesem Abschnitt werden weitere Konzepte zu den unter 3.2. vorgestellten Automaten aufgezeigt.
- Für den EA wird die Äquivalenz von deterministischen und nichtdeterministischen EA gezeigt,
sowie das Konzept eines Minimalautomaten vorgestellt
- Es wird eine alternative Konzeption von KA vorgestellt: die Äquivalenz des Akzeptierens mit leerem Keller
zum Akzeptieren im Endzustand.
- Der Abschnitt zu TM enthält Überlegungen zum Zurückführen verschiedener TM-Konzepte auf die klassische TM.
|
Übersicht: Sprachklassen
