Una maquina de estados se compone de dos partes, una que calcula el siguiente estado dependiendo de las entradas y del estado actual, y otra que calcula la salida.