Abstract state machine

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

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.

Bibliografia[modifica | modifica wikitesto]

  • 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)

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

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