Esta transducción se puede realizar de forma no determinista y entonces se producirá más de una salida por cada cadena de entrada.