Final del 27/12/18 (Teoría de Lenguajes)
De Cuba-Wiki
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.