Un model de calcul constând dintr-un număr finit de statele şi tranziţii între aceste state, eventual cu acţiuni de însoţire.