Final del 27/12/18 (Teoría de Lenguajes)

De Cuba-Wiki
Saltar a: navegación, buscar

Aclaración: el cuatrimestre fue más corto por lo que no se vieron todos los temas. Este final es el tomado a aquellos que cursaron con el programa reducido.

Ejercicio 1[editar]

  • Demostrar el teorema de pasar de Expresión Regular a AFND-λ.
  • Demostrar la vuelta del teorema.

Ejercicio 2[editar]

Dado un AFD, dar un algoritmo decidible que determine si acepta .

Ejercicio 3[editar]

Demostrar Pumping para GLC.

Ejercicio 4[editar]

Dar el algoritmo de parsing LL(1). Dar un ejemplo pequeño (y árbol de derivación) y demostrar la complejidad.