Um modelo computacional consiste em um número finito de Estados e transições entre esses Estados, possivelmente com acções de acompanhamento.