Un transductor de estados finitos determinista p-subsecuencial es un Autómata de estados finitos deterministas con transiciones sobre parejas de símbolos.
Éstos transductores no tienen estados de aceptación explícitamente definidos.
Cada uno de sus estados representa el conjunto de prefijos que comparten un prefijo de salida común.
Se llega a un único estado para cada símbolo de entrada y estado, lo que hace que el autómata sea determinista.
Véase también
- Transductor secuencial
- Transductor subsecuencial
- Transductor p-subsecuencial
- Transductor p-subsecuencial adelantado
- Transductor de estados finitos determinista p-subsecuencial adelantado
Referencias
-003.png)
