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.