Lenin Torres

Prueba de Ensayo Primer Bimestre

Teoría de Autómatas y Lenguajes Formales

Teoría de Autómatas y Lenguajes Formales
Prueba de Ensayo Primer Bimestre Lenin Torres

1 Ejercicios de Expresiones regulares.
1.1 Todas las cadenas de a y b que no contengas tres b consecutivas ∑={a,b} L={a,aa,b,bb,ab,aba,ba,bab,..} a*+b+bb+a*b+a*bb+(ab)*a+(ab)*a*b+(ab)*a*bb+(ba)*a*b+(ba)*a*bb 1.2 Todas las cadenas de letras minúsculas que comiencen y terminen con dos a. ∑={a,b} L={aaaa,aabaa,aaabaa,aabaaa} aa+[a..z]+aa 1.3 Cadenas de dígitos que representen números impares ∑={0,1,2,3,4,5,6,7,8,9} L={1,3,4,13,19} [0...9]*+(1+3+5+7+9) 1.4 Expresiones que satisfagan la condición dada para el alfabeto {0,1} 1.4.1 Número par de a en la cadena w No se puede describir con expresión regular puesto que no tiene memoria para contar el número de apariciones 1.4.2 Que no tenga la cadena abc en la cadena w a*+b*+(a*b*c*)+(b*c*a*) 2 Describir los AFD que acepten los lenguajes siguientes del alfabeto {0,1} 2.1 Conjunto de todas las cadenas con dos ceros consecutivos (no necesariamente al final)

2.2

Conjunto de cadenas que contengan subcadena 011

1 De 9

q7} {q0.q4.2 Nombres A B C D E F G H Tabla para calcular los subconjuntos Símbolos a B={q0.q8} {q0.q1.4.q4.d} 3.q8} {q0.q7} {q0.q4.q8} {q0.b}.q1.q4.q1.1.q1.q4. que no contengan aaa 3 Convertir los AFN del ejercicio 2.q4.q10} 2 De 9 .Lenin Torres Prueba de Ensayo Primer Bimestre Teoría de Autómatas y Lenguajes Formales 2.1 Diagrama del AFN 3.q7} C={q0.q3} {q0.1 AFN que reconoce abc.q2.q7} {q0.q7.q4.q4.q5} {q0} {q0} {q0} {q0} {q0} c {q0} {q0} E={q0.q4.1.q2.q9} F={q0.b.q5} {q0.q10} {q0} {q0} {q0} Estados q0 {q0.3 Conjunto de palabras de {a.q7.q9} {q0.q1.q1.q6} {q0.q2.q1.q1. abd y aacd del alfabeto {a.q3} {q0} {q0} {q0} {q0} d {q0} {q0} {q0} G={q0.q7} b {q0} D={q0.c.q5} {q0.q1.q7} {q0.q6} H={q0.q7.q1.1 en AFD 3.q4.q7} {q0.

Lenin Torres Prueba de Ensayo Primer Bimestre Teoría de Autómatas y Lenguajes Formales 3.q8} {} E={q6} F={q3} 1 C={q5} D={q2. 101.1.q8} {q5} {q2.1 Diagrama del AFN 3.2.2 Tabla para calcular los subconjuntos Símbolos 0 B={q1.3 Tabla de transiciones del AFD resultante Símbolos Estados a B C C B B B B B b A D D A A A A A c A A E F A A A A d A A A G H A A A → A B C D E * * * F G H 3.q9} 3 De 9 . 011 alfabeto {0.q9} {} G={q10} Nombres A B C D Estados q0 {q1.1} 3.2 AFN que reconoce 0101.2.

bc y ca del alfabeto {a.Lenin Torres Prueba de Ensayo Primer Bimestre Teoría de Autómatas y Lenguajes Formales E F G H I J {q6} {q3} {q10} {q7} {q4} {} {} {} {} {} {} {} H={q7} I={q4} {} {} {} {} 3.c} 3.1 Diagrama del AFN 4 De 9 .3.3 Tabla de transiciones del AFD resultante Símbolos 0 B J E F J J J J J 1 C D J G H I J J J Estados A B C D E F G H J 3.b.2.3 AFN que reconoce ab.

q3} {q0.q3} {} {q0.q6} {} 3.q5} {} {} Nombres A B C D E F G H Estados {q0} {q1} {q0.q5.q3} {q2} {} c D={q0.q5} {} {q0.q5} {} F={q0.q6} {} {q1.3 Tabla de transiciones del AFD resultante Símbolos Estados a B H B G H G H H b C E C C H C E H c D H F D H D H H → A B C D * * * E F G H 4 Realizar lo solicitado para el AFD descrito por la tabla de transiciones: 0 → * q1 q2 q3 q2 q3 q3 1 q1 q1 q2 5 De 9 .q3} E={q2} {q0.q4} {q0.q5} {q2} {q0.3.2 Tabla para calcular los subconjuntos Símbolos a B={q1} {} {q1} G={q1.3.q3} {q0.Lenin Torres Prueba de Ensayo Primer Bimestre Teoría de Autómatas y Lenguajes Formales 3.q6} {} {} b C={q0.q4} {q1.q5.

1 0 Obtener todas las expresiones regulares R ij R 0 11 R 0 12 R 0 13 R 0 21 R 0 22 R 0 23 R 0 31 R 0 32 R 0 33 ε+1 0 θ 1 ε 0 θ 1 ε+0 4.Lenin Torres Prueba de Ensayo Primer Bimestre Teoría de Autómatas y Lenguajes Formales Para facilitar la solución se usa el gráfico del AFD 4.2 1 Obtener todas las expresiones regulares R . Esto se calcula con: ij 6 De 9 .

Lenin Torres Prueba de Ensayo Primer Bimestre Teoría de Autómatas y Lenguajes Formales R 1 =R  0 R 0  R 0∗R 0 ij ij i1 11 ij Sustitución R 1 11 R 1 12 R 1 13 R 1 21 R 1 22 R 1 23 R 1 31 R 1 32 R 1 33 ε+1+(ε+1)[(ε+1)]*(ε+1) 0+(ε+1)[(ε+1)]*0=0+11*0=1*0 θ+(ε+1)[(ε+1)]*θ=11∗θ 1+1(ε+1)*1=1+11*1 ε+1[(ε+1)]*ε 0+1[(ε+1)]*0=0+1*0 θ+θ[(ε+1)]∗ θ 1+θ[(ε+1)]∗1=1+1∗1=1+1 (ε+0)+θ[(ε+0)]∗(ε+0)= Simplificado 1* 1*0 θ 11* ε+11*0 0 θ 1 ε+0 7 De 9 .

Lenin Torres Prueba de Ensayo Primer Bimestre Teoría de Autómatas y Lenguajes Formales 4.5 Obtener la expresión regular para el AFD Construir el Diagrama de Transiciones del AFD y obtener una expresión regular eliminando el estado q2 8 De 9 .3 2  Obtener todas las expresiones regulares R ij 2  1 1 1 1 La expresión en este caso es R =R R R ∗R ij ij i2 22 2j Sustitución R 2  11 R 2  12 R 2  13 R 2  21 R 2  22 R 2  23 R 2  31 R 2  32 R 2  33 Simplificado 1*+(1*0)[11*0]*1* 1*0+(11*0)*11*0 1∗0[(11∗0)]∗0 (11*)+(11*0)*11* 11*0 0+(11*0)*0 1(11∗0)∗11∗ 1+1(11*0)*(11*0) 0+10*0 (1*)+(1*0)[(ε+11*0)]*11*=1*+(1*0)[11*0]*1* 1*0+(1*0)[(ε+11*0)]*(ε+11*0) = 1*0+(11*0)*11*0 θ+(1∗0)[(ε+11*0)]∗0=1∗0[(11∗0)]∗0 (11*)+(ε+11*0)[(ε+11*0)]*11*=(11*)+(11*0) (11*0)*11* (ε+11*0)+(ε+11*0)(ε+11*0)*(ε+11*0) 0+(ε+11*0)(ε+11*0)*0=0+(11*0)(11*0)*0 θ+1[(ε+11*0)]∗11∗=1(11∗0)∗11∗ 1+1[(ε+11*0)]∗(ε+11*0)=1+1(11*0)*(11*0) (ε+0)+1[(ε+0)]*0=0+10*0 4.4 4.

Lenin Torres Prueba de Ensayo Primer Bimestre Teoría de Autómatas y Lenguajes Formales La expresión regular para este último es (1+01+00(0+10)*11)*00(0+10)* 9 De 9 .