Abstract state machine

From Wikipedia, the free encyclopedia

It has been suggested that this article or section be merged with Abstract State Machines. (Discuss)

In computer science, the term abstract state machine is used as a synonym for a finite state machine with regard to abstract algorithms for sorting.

A particular theory of Abstract State Machines (ASM) for formal specification has been developed by Yuri Gurevich.

[edit] See also

Comp Sci logo This computer science-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../a/b/s/Abstract_state_machine.html"
In other languages