Abstract State Machines




ASM Studies

Can any algorithm, never mind how abstract, be modeled by a generalized machine very closely and faithfully? ... If we stick to one abstract level (abstracting from low-level details and being oblivious to a possible higher-level picture) and if the states of the algorithm reflect all the pertinent information, then a particular small instruction set suffices in all cases.

adapted from Yuri Gurevich, "Sequential Abstract State Machines Capture Sequential Algorithms"

This website was maintained by Jim Huggins from 1994 till 2009. It is no longer being actively maintained but remains available for historical reference.

Yuri Gurevich, September 2016

Note: This site contains only non-proprietary information regarding applications of ASMs to various domains. See also our Copyright Notice.