Abstrakte Zustandsmaschine
# Abstrakte Zustandsmaschine

Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), nicht zu verwechseln mit Algorithmic state machines, ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten, deren Zustände lediglich Namen haben, sind die Zustände einer abstrakten Zustandsmaschine allgemeine mathematische Strukturen.

Im Gebiet des Übersetzerbaus dient das Modell der Beschreibung der Semantik des zu übersetzenden Programms, und es hilft sicherzustellen, dass die Semantik des zu übersetzenden Programms erhalten bleibt (Verifizierung). Bei der Entwicklung von Software im Allgemeinen erlaubt das Modell in der Analyse- und Entwurfsphase eine formale Beschreibung der funktionalen Anforderungen. Diese mathematische Herangehensweise verbessert beispielsweise Verifizierbarkeit und Wiederverwendbarkeit.

Beim Entwurf komplexer Schaltwerke wird auch auf die Formalisierung mit abstrakten Zustandsmaschinen zurückgegriffen.

## Ursprung

Der Erfinder des Modells ist Yuri Gurevich von Microsoft. Der in Italien an der Universität Pisa ansässige Informatiker Egon Börger erforscht Methoden zur Anwendung abstrakter Zustandsmaschinen bei Entwurf und Analyse von Hardware- und Softwaresystemen.

Mittlerweile gibt es unterschiedliche Implementierungen des Modells, sodass Entwurf und Interpretation von Programmen für die abstrakten Maschine rechnergestützt erfolgen kann.

