Teoría de Autómatas y Lenguajes Formales
Relación de Problemas Número 4∗
1. Demuestre que los siguientes lenguajes no son libres del contexto.
•{aibici:i≥1}
•{aibicj:,j ≥i}
•©aibjck:i≤j≤kª
•{ai:ies primo}
•{ww :w∈(a+b)∗}
2. Determine si el lenguaje generado por la siguiente gramática es finito o
infinito:
S→00A|B
B→0A|1
A→0S|B|ε
3. Utilice el algoritmo de Cocke-Younger-Kasami para determinar si las cade-
nas bba, bab ybabba pertenecen al lenguaje generado por la siguiente gramática:
S→AB|BC
A→BA|a
B→CC|b
C→AB|a
4. Demuestre que todo AFD puede ser simulado mediante un APND.
∗c
°Antonio Tomeu
1