Questa voce sull'argomento teorie dell'informatica è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Teknopedia.

Nel campo dell'informatica il termine Abstract State Machine (letteralmente macchina a stati astratti) o ASM rappresenta un'estensione della macchina a stati finiti.

Una particolare teoria sull'utilizzo delle ASM per la specifica formale è stata sviluppata da Yuri Gurevich.

• Y. Gurevich, P. Kutter, M. Odersky, e L. Thiele (eds.), Abstract State Machines: Theory and Applications, Lecture Notes in Computer Science, Springer-Verlag, 2000. (ISBN 3-540-67959-6)
• Egon Börger e Robert Stärk, Abstract State Machines, A Method for High-Level System Design and Analysis, Springer-Verlag 2003, (ISBN 3-540-00702-4)

• Automa a stati finiti
• Macchina di Turing

• Le abstract state machines nel site presso University of Michigan, su eecs.umich.edu.
• International Workshop, ASM 2000, su informatik.uni-trier.de.

Portale Informatica: accedi alle voci di Teknopedia che trattano di informatica