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 .