Abstract State Machines

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"

---

Remembering Dean Rosenzweig

Dean Rosenzweig, a key contributor to the early days of ASM research, passed away at the beginning of January 2007. Below are links to a couple of tributes to Dean written shortly after Dean's death:

• Egon Börger
• Yuri Gurevich

---

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