Berechnung
Einfache Sprache
Die Berechnung eines Automaten beschreibt wie ein Automat funktioniert in dem Sinn, dass es nicht darum geht wie er aussieht sondern wie er sich verhält. Es geht also um die Semantik und nicht um die Syntax.
Arten der Berechnung
Spezielle Berechnungen
- Akzeptierende Berechnung: Berechnung endet in Konfiguration $q_{acc}$
- Verwerfende Berechnung: Berechnung endet in Konfiguration $q_{reg}$
- Divergente Berechnung: Unendliche Folge