La máquina posee dos estados diferentes que responden, respectivamente, a dos "inputs" diferentes, y o bien se mantiene el mismo estado o bien se transforma en otro estado.