Laboratorio de Ejercicios

1. Construya un AFD que reconozca las cadenas que

comienzan con 1 y terminan con 0. Ejm de vlidas: 1110,
10010, 101010, etc.
2. Construir un autmata que acepte cadenas que
correspondan a palabras reservadas del lenguaje java;
restrinja el conocimiento a: {for, while, if, do, int, else}
3. Construya un autmata que reconozca nombres vlidos de
variables. Para que sea vlido debe iniciar en letra y luego
puede contener letras o dgitos. Ejm de vlidas: x, x1, x1x,
color, var, var1, var2, etc.
4. Construya un autmata que acepte cadenas de a y b, pero
son vlidas las cadenas que presentan el patrn ab. Ejm
aaab, bbbbaabbb, bbbab, etc
5. Construya un autmata AFD que acepte cadenas de 0 y 1;
pero no debe aceptar las cadenas que contengan 001.
6. Construya un AFD para:
a. L1 = { a2kb3n/k>=1, n>=0}
b. L2 = { dk/k=2n+1, n>=0}
c. L3 = { (ab)nc3(ba)2m/n>=1, m>=0}
d. L4 = { x/x {a,b,c}*, x no termina en ab}
e. L5 = {x/x {a,b}*, la cantidad de a es mltiplo de 3, la
cantidad de b es impar}
f. L6 = {x/x {a,b}*, x no contiene la subcadena aba}
g. L7 = { x/x {0,2,4}*, la cantidad de ocurrencias en x
de la subcadena 024 es par}
h. L8 = { x/x {a,b}*, x contiene la subcadena aba
exactamente una vez}
7. Dada la siguiente codificacin de caracteres:
Blanco=111 a=101 e=100 l=00
n=110 s=01
Construya el AFD que dado un mensaje lo decodifique.
Ejemplo si el mensaje es 1011101011110110100100
Debe decir ana sale.
8. Elabore una mquina de Mealy para determinar si una
cadena binaria termina en 101.
9. Describir el lenguaje generado por la expresin regular R:
a. R = a*ba*
b. R = b(a|b)*
c. R = (a|b)*b
d. R = 0*10*10*
e. R = (0|1)*111
f. R = (0*10*10*)*
g. R = 1*01*
10. Diga si es verdad las siguientes afirmaciones:
a. L1((ab)*aa) = L2(a(ab)*a)
b. L3((a|(b|c))) = L4(((a|b)|c))
11. Elabore el autmata para
a. L = {z.u / z {7,8,9}*, dos posiciones consecutivas de
z no contienen el mismo smbolo, u {d}*, |u|mod2
=0}
b. L = {x.z / x {a,b}*, x contiene la subcadena aaa, x no
contiene la subcadena bb, z {0}*, |z|mod2 = 0 }