Hoja de trabajo final

Realizar los siguientes ejercicios en parejas.

1 Defina las expresiones regulares que representen a los siguientes lenguajes:
a) Lenguaje de todas las cadenas palíndromos utilizando el alfabeto: {x,y,z} y que el
palíndromo siempre sea de longitud impar.
b) El conjunto de todas las cadenas formadas por ceros y unos que contienen 110 al
inicio y que tenga 011 al final de cada cadena.
c) Lenguaje de todas las cadenas utilizando el alfabeto {a,b,c} y que en cada palabra
haya un número par de a’s.
2 Construir, siguiendo las reglas de construcción y de conversión, AFN’s y AFD’s para las
expresiones regulares siguientes:
a) (a|b|c)*abc
b) b((aab* | aaaa)b)*a
c) ab(((ab)* | b3)* | a)*b
d) (00 | (1 | 01)(11 | 0)*10)*110}
Debe dejar constancia del procedimiento, construir los diagramas, las tablas de transiciones
y especificar los modelos matemáticos resultantes.
3 La siguiente gramática genera el lenguaje de expresiones regulares 0*1(0|1)*:
S → A1B
A → 0A | ε
B → 0B | 1B | ε
Obtener posibles arboles de derivaciones por la derecha y por la izquierda para las
siguientes cadenas:
a) 000101
b) 100001
c) 1000111
4 Obtener una gramática regular para los siguientes lenguajes:
a) a*b | b*a
b) (a*b | b*a)*
5 Dada la gramática G
S → aS | aSbS | ε
Demostrar que es ambigua especificando dos posibles árboles de derivación para la cadena
aaaaabbbb.
6 Realizar/Simular en JFLAP el siguiente autómata de pila:
• { 0n1n2n | n >= 1 }
Recordar que para esto debe crear primero la tabla de transiciones.

Como referencia tome el Ejemplo 14.1.4 del material LenguajesGramaticasYAutomatas.pdf

7 Construir una máquina de Turing, junto con su definición formal, que acepte el lenguaje
• {a3n, n>= 0}
Deje el procedimiento para verificar las siguientes cadenas:
• aaa
• aaaa
• aaaaaa
• aaaaaaa