<sod>In [[computer science]], an '''abstract state machine''' ('''ASM''') is a [[state machine]] operating on [[state (computer science)|states]] which are arbitrary data structures ([[mathematical structure|structure]] in the sense of [[mathematical logic]], that is a nonempty [[Set (mathematics)|set]] together with a number of [[function (mathematics)|functions]] ([[operation (mathematics)|operations]] over the set) and [[relation (mathematics)|relations]]). <eod>
<sod>In [[computer science]], an '''abstract state machine''' ('''ASM''') is a [[state machine]] operating on [[state (computer science)|states]] which are arbitrary data structures ([[mathematical structure|structure]] in the sense of [[mathematical logic]], that is a nonempty [[Set (mathematics)|set]] together with a number of [[function (mathematics)|functions]] ([[operation (mathematics)|operations]] over the set) and [[relation (mathematics)|relations]]).<eod>