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

• Berechnung eines DEA
• Berechnung eines NEA
• Berechnung einer TM

Spezielle Berechnungen

• Akzeptierende Berechnung: Berechnung endet in Konfiguration $q_{acc}$
• Verwerfende Berechnung: Berechnung endet in Konfiguration $q_{reg}$
• Divergente Berechnung: Unendliche Folge