Metaglossary.com - Definitions for "{term}"

In computer science, the term abstract state machine is used as a synonym for a finite state machine with regard to abstract algorithms for sorting.