Abstract state machine

From Freepedia

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 (ASM) for formal specification has been developed by Yuri Gurevich.

See also



Views
Personal tools
In other languages
Similar Links