Un modelo computacional que consta de un número finito de Estados y transiciones entre los Estados, posiblemente con acciones de acompañamiento.