[T3-P2] - Sobre la demostración

[VicenteVicente]

Similar a la pregunta de Vicente en https://github.com/PUC-IIC2223/syllabus/issues/36, ¿es una demostración correcta encontrar una relación imposible en transductores convencionales, pero completamente posible en transductores en dos direcciones? (Junto con demostrar esto)

[cahinostroza]

Hola @VicenteVicente , claro, dado que te piden demostrar que existen relaciones que "son definidas por transductores en dos direcciones, pero que no pueden ser definidas por transductores en una dirección", si encuentras una relación y demuestras que para todo transductor de dos dirección se cumple, pero no para alguno de una dirección, estarías en lo correcto (ver respuesta más abajo).

[VicenteVicente]

@cahinostroza Gracias!

[VicenteMerino]

@cahinostroza no debería ser para algún transductor en vez de para todo? I mean, no todos los transductores definen las mismas relaciones por lo que tengo entendido, depende de la estructura del transductor.

[cahinostroza]

@VicenteMerino efectivamente no todos los transductores definen la mismas relaciones. Lo dije al revés, basta con encontrar un transductor de dos direcciones que defina una relación y demostrar que no existe ningún transductor en una dirección que pueda definir esa relación. Para que lo tengas en consideración @VicenteVicente .

[DiegoEmilio01]

Para esta demostración ¿podemos asumir algunos lenguajes muy básicos como no regulares y utilizarlos como argumento? No quiero postear específicamente cual pero algunos de las ayudantías o clases.

[cahinostroza]

Hola @DiegoEmilio01 , si lo vieron en clases lo pueden asumir, pero si lo vieron en ayudantía, deben demostrar que no es regular. Saludos!