Science Fair Project Encyclopedia
Abstract state machine
An abstract state machine is most often used as a synonym for a finite state machine with regards to abstract algorithms (for sorting, etc.).
A particular theory of abstract state machines for formal specification has been developed by Yuri Gurevich .
09-23-2007 01:00:40
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


