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
- Abstract State Machines (ASM)



