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.
Categories: Computer stubs | Computation | Computational models