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.
"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.