Pregunta: la asignación de códigos binarios que se agrupan en celdas lógicamente adyacentes a estados que son los siguientes estados de un solo estado puede eventualmente ayudar a lograr una implementación mínima para el siguiente decodificador de estado verdadero o falso