Abstract state machine
Sign in to saveAlso known as ASM
state machine operating on states that are arbitrary data structures
Article · Italiano
Nel campo dell'informatica il termine Abstract State Machine (letteralmente macchina a stati astratti) o ASM è usato spesso come sinonimo di macchina a stati finiti per quanto riguarda gli algoritmi astratti (come l'ordinamento, la ricerca, ecc.). Una particolare teoria sull'utilizzo degli ASM per la specifica formale è stata sviluppata da .
Abstract from DBpedia / Wikipedia · CC BY-SA