search

PUC-IIC2223 / syllabus-2020

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

[T2.P2] ¿Qué cosas podemos asumir? #29

Closed jvlara closed 4 years ago

jvlara commented 4 years ago

Hola, Al momento de realizar esta pregunta me resulto la duda de si podemos asumir que toda expresion regular tiene un automata que la define y por lo tanto, un lenguaje regular por teorema, ya que al mostrar que existe una expresion regular R3 la cual cumple con el operador del enunciado no se que camino seguir para demostrar que define un lenguaje regular.

fgbruna commented 4 years ago

Hola @jvlara, ustedes efectivamente pueden hacer uso del Teorema de Kleene en la P2, Saludos!