![]() |
|
|
| |
|
||||
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.
|
|
|
|
|
|
|
|
Copyright 2008 WordIQ.com - Privacy Policy
::
Terms of Use
:: Contact Us
:: About Us This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Abstract state machine". |