title: Transductor subsecuencial
text: # Transductor subsecuencial
  
  Un transductor subsecuencial o transductor 1-subsecuencial es aquel donde los símbolos de salida se generan sólo cuando se han visto suficientes símbolos en la entrada para garantizar una salida correcta. Se puede decir que es un transductor secuencial ampliado para permitir una cadena de salida adicional.
  La subsecuencialidad es necesaria porque puede pasar que $\eta (w)$ no sea un prefijo de $\eta (wa)$ y por tanto $\eta (wa)$ no se pueda construir secuencialmente a partir de $\eta (w)$ simplemente agregándole más símbolos. Por esto, parte de la salida se ha de dejar para cuando se sepa que la entrada ha terminado.
  Un transductor subsecuencial es una 6-tupla (Q,X,Y, q0,E,$\sigma$ ) tal que (Q,X,Y, q0,E) es un transductor secuencial y $\sigma$ : Q $\rightarrow$ Y* es una función parcial.
  La transducción $t:X^{*}\rightarrow Y^{*}$ es tal que $t(x)=t'(x)\sigma (q)$ donde $t'(x)$ es la transducción realizada por el transductor secuencial y $q$ es el estado que se alcanzó con entrada $x$.