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
no sea un prefijo de
no se pueda construir secuencialmente a partir de
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,
es la transducción realizada por el transductor secuencial y
es el estado que se alcanzó con entrada