Abstract state machines

CS

Abstract state machine - Wikipedia

Abstract state machines

From Wikipedia, the free encyclopedia

In computer science, an abstract state machine (ASM) is a state machine operating on states which are arbitrary data structures (structure in the sense of mathematical logic, that is a nonempty set together with a number of functions (operations over the set) and relations).