engl.: execution state
Jeder Schritt bei der Ausführung eines Algorithmus führt von einem Ausführungszustand zum Nachfolgezustand. Ein Ausführungszustand ist gekennzeichnet durch
Ein Ausführungsschritt führt zu einer Zustandsveränderung, also einer Veränderung von Speicher- und/oder Steuerungszustand.