El "comportamiento" del transductor "T" es la relación racional ["T"] definida como sigue: formula_11 si y solo si existe formula_12 y formula_13 tal que formula_14.