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

• den Speicherzustand (im Wesentlichen der Zustand der Variablen);
• den Steuerungszustand (vereinfacht gesagt, die Stelle im Programm, an der die Ausführung angekommen ist).

Ein Ausführungsschritt führt zu einer Zustandsveränderung, also einer Veränderung von Speicher- und/oder Steuerungszustand.