Máquina De Estados Finita

Um modelo computacional que consiste num número finito de estados e transições entre esses estados, possivelmente com ações de acompanhamento.