Una transducción , donde: es un conjunto finito, denominado alfabeto de entrada es el conjunto de todas las cadenas que se pueden construir mediante los símbolos de es el subconjunto de es el lenguaje de salida
es secuencial si:
donde: es la cadena de salida inicial (normalmente vacía) es la cadena de salida que se concatena tras el resultado cuando después de la entrada se lee el símbolo es el conjunto de todos los prefijos de las cadenas en .
Cada vez que se lee un símbolo , la función añade la cadena de salida a para formar .
Las transducciones secuenciales tienen la propiedad de preservar los prefijos. Es decir, la transducción de un prefijo es siempre un prefijo de la transducción. Esto es: si existe , entonces .
Las transduccciones secuenciales se pueden realizar por transductores de estados finitos, también denominados transductores secuenciales.
Véase también Transductor de estados finitos. Transductor subsecuencial. Transductor p-subsecuencial. Transductor p-subsecuencial adelantado. Transductor de estados finitos determinista p-subsecuencial. Transductor de estados finitos determinista p-subsecuencial adelantado.
Referencias
Enlaces externos
Categoría:Lingüística computacional Categoría:Transductores