Un modello computazionale composto da un numero finito di Stati e transizioni tra questi Stati, possibilmente con azioni di accompagnamento.