Una máquina de estado limitado con un máximo de una transición para cada símbolo y estado.