search

PUC-IIC2223 / syllabus-2020

Repositorio oficial del curso IIC2223 - Teoría de Autómatas y Lenguajes Formales
7 stars 0 forks source link

[T3 -P2] Demostración #36

Open VicenteMerino opened 4 years ago

VicenteMerino commented 4 years ago

Hola, en la P2 parte 2 si para demostrarlo utilizo un contraejemplo, y encuentro una construcción de un 2-transductor que si lo cumple, es necesario demostrar formalmente por qué el 2-transductor cumple la relación o basta explicarlo (explicar qué hace y por qué lo cumple)?

cahinostroza commented 4 years ago

Hola @VicenteMerino dado que la pregunta pide demostrar, debes demostrarlo formalmente. Saludos.