Esto significa que "T" transduce una cadena formula_15 en una cadena formula_16 si existe un camino desde un estado inicial hasta un estado final con entrada x y salida y.