Abstract.
Abstract-State Machines have been introduced as “a computation model that is more powerful and more universal than standard computation models”, by Yuri Gurevich in 1985. ASM gained much attention as a specification method, in particular for the description of the semantics of programming languages, communication protocols, distributed algorithms, etc. Gurevich proved recently that a sequential algorithm must only meet a few liberal requirements to be representable as an ASM. We critically examine Gurevich's requirements for sequential algorithms, as well as the semantics of ASM-programs and the proof of his main theorem. A couple of examples support and explain intuition and motivation of ASM.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 27 July 2002 / 7 January 2003
Rights and permissions
About this article
Cite this article
Reisig, W. On Gurevich's theorem on sequential algorithms. Acta Informatica 39, 273–305 (2003). https://doi.org/10.1007/s00236-002-0106-3
Issue Date:
DOI: https://doi.org/10.1007/s00236-002-0106-3