In computer science, an abstract state machine is a state machine operating on states that are arbitrary data structures. Wikipedia