PUC-IIC2223 / syllabus-2020

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

[T7] DFA a CFG #55

Open KnowYourselves opened 3 years ago

KnowYourselves commented 3 years ago

Hola!

En las clases se muestra como traducir un DFA a un CFG, pero se dejó propuesto demostrar que definen el mismo lenguaje. En caso de utilizar esta construcción es necesario demostrarlo?

Gracias!

crivero1 commented 3 years ago

Hola Raúl,

Si, pueden ocuparlo.

Saludos!