LABORATORIONo2:

LENGUAJESEXPRESIONESREGULARESyAUTOMATASFINITOS
Presentacion:Lunes23deOctubre,gruposde4mximo.
1. DeloslenguajesdescritosporlasexpresionesregularessobreelalfabetoTe={x,y,z}
Cules son infinitos? Describa los lenguajes infinitos a travs de una expresin
algebraicayhagaunalistadelastirasdeloslenguajesfinitos
a)(x(yz)) b)(x(yz)) c)((z+y)x) d)(z+y)
e)(yy) f)(x+y) g)((xx)+z) h)((z+y)+x)

2. ParaloslenguajesdadossobreelalfabetoT={a,b}construirunaexpresinregularyun
AutmataFinitoqueloacepte:
a. L={w|wtieneunnmeromltiplode3deas}
b. L={w|todaaenwestentredosbs}
c. L={w|nohaydosasconsecutivasenw}
d. L={w|wnocontienelasubpalabraaanibb}

3. ConstruirelAFcorrespondienteparacadaunodelosdiagramasdeestado,buscar3
palabrasotirasqueseanreconocidasytrestirasrechazadas(demostrarformalmente
atravsdemovimientosentreconfiguraciones).

4. ConstruyeexpresionesregularesequivalentesalossiguientesAF's:











5. ConstruyeAFD'sequivalentesalossiguientesAFND's:
a)({q0,q1,q2,q3},{0,1},d1,q0,{q3})
b)({q0,q1,q2,q3},{0,1},d2,q0,{q1,q3})

6. Construyeautmatasfinitosquereconozcanloslenguajesdenotadosporlas
siguientesexpresionesregulares:
a. a*bb*(a+b)ab*
b. (a+b*a+b*)+
c. (a2)*(b3)*(c4)*(a4)*(b3)*(c2)*


7. Construirunaautmatafinitoparalassiguientesgramticasregulares:
a. SaA|aB AbA|b BcB|c
b. Sa|aA|bB
Ab|bA
Ba|aA|aC
Cb|bA|aD
DaC|bD
8. ConstruirlagramaticaregularcorrespondientealsiguienteAF.

9. Darunejemplode:
a. ConversindeunagramticalinealporlaizquierdaaunAF
b. ConversindeunAFaunagramticalinealporlaizquierda