Produkt
KlappentextHigh Quality Content by WIKIPEDIA articles! Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), 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 ASM 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).
Details
ISBN/GTIN978-613-0-51580-5
ProduktartBook on Demand
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2010
Seiten80 Seiten
SpracheDeutsch
Artikel-Nr.11439478
Rubriken