You are on page 1of 5

DESARROLLO PEP2 Procesamiento de Lenguajes Formales

Sergio Gonzalez Celis 12.664.493-0

1.- Diseñe un AFD que acepte palabras sobre {a,b} tales que no contienen a ‘aa’ ni a ‘bb’ como subpalabras.
1

a a
2

b

3

b a
4

b

a,b

2.- Dado el siguiente AFD < {0,1} , {q1,q2,q3,q4} , q1,{q1,q2}, { ((q1,0),q2),(q1,1),q3), ((q2,0),q4),((q2,1),q1) ((q3,0),q2),((q3,1),q4) 1 ((q4,0),q3),((q4,1),q4) } >
q1 q3

0 0 1 0 1

q2

q4

0

1

Responda lo siguiente : 2.a) Cual es el resultado de (q3,110) *?
1
q3 q4

1
q4

0
q3

Dada las transiciones a partir de q3, ((q3,1),q4) , ((q4,1),q4) , (q4,0),q3) tenemos : (q3,110) (q4,10) (q4,0) (q3,) = q3 y por tanto, El resultado es “aceptada” ya que q3 está definido como estado final

1

((q4. ((q1. k=2 y dado que R : 0  0 1 1  Ø 1 2 rij 11 12 13 21 22 23 entonces : ( ( ( ) ) ) ( ( ) ( ) ) Por tanto la ER correspondiente a 2 .3. ((q3.1).q2).b) Que retorna ’ (q1.d) Calcular R(2.00001)? Siguiendo las transiciones ((q1. ((q2.c) Es aceptada la palabra 110011 ? Siguiendo las respectivas transiciones y cambios de estados : ((q1.1). ((q4.0).q1). 2.493-0 2.q3). j=3.2) Sea : i=2 .1). ((q3. tenemos que : ( ) ( ) ( ) ( ) ( ) ( ) El último cambio de estado queda en q1 y éste no pertenece a los estados finales {q2.q4).q1).0).q3) Tenemos : ( ) ( ) ( ) ( ) ( ) ( ) ( ) Por tanto.q3}. por tanto no es una palabra aceptada.DESARROLLO PEP2 Procesamiento de Lenguajes Formales Sergio Gonzalez Celis 12.0). a partir de q1 como estado inicial.q3). ((q2. ((q3. 2.q2). Si es aceptada.0).q4). ya que q3 pertence a los estado finales.0).1). ((q2.664.0).q2).1).q3).

493-0 2.664.f) Escriba las ecuaciones de ER de transiciones entrantes ) Despejando las ecuaciones. tenemos : 2.g) Indique qué variable(s) o incógnita(s) de las ecuaciones anteriores debe resolver para encontrart la ER del lenguaje aceptado por este AFD. tenemos que solo X4 cumple con la estructura Entonces : b por tanto : a ( ) 3 .DESARROLLO PEP2 Procesamiento de Lenguajes Formales Sergio Gonzalez Celis 12.e) Indique cual es la expresion recursiva para calcular la ER del lenguaje ( La expresion es: 2. Dado que debemos construir la Ecuación lineal básica ( x = xa + b) y que además es la condición de sustitución.

1} .c) ..c} por tanto.a) Encuentre un AFD Equivalente  Q" {a.c} {b.1..b} {b} {b.c} 1 {b.DESARROLLO PEP2 Procesamiento de Lenguajes Formales Sergio Gonzalez Celis 12..b) }> 0 b a 1 1 c 0 3. {c}. (c.b) .c} 0 1 4 .c} Final ? No No Si 0 0 {b} {a.664. (b. a. { (a.0.c) .{a.0. (c. AFD Equivalente : 0 {b} {b} {b. .c} .b) .1.b} 1 1 {b.Para el AFN M= <{0. (b. (c.c} {b.b.b) .493-0 3.

el AFD Equivalente acepta el par de transiciones {0. por tanto la transicion 1 no llega nunca .c} 1 {b.1}* ? ¿porqué? Si.1}* ya que ambas transiciones llegan al estado {b.En el caso del estado final {a. por tanto.b) Encuentre el AFD Complemento  Q" {a.Y por último {b.c} y este estado en el AFD equivalentes está considerado como estado Final.c} (Complemento) Final ? Si Si NO 0 0 {b} {a. .c} en éste AFD no es estado final. 5 .b} no es posible llegar .b} {b.Las transiciones que llegan al estado final {b} son el 0 desde {a. la palabra es aceptada por éste AFD Por otro lado.c} {b.c} 1 0 1 1 3.c} {b.c) Alguno de los anteriores acepta {0.664.DESARROLLO PEP2 Procesamiento de Lenguajes Formales Sergio Gonzalez Celis 12.493-0 3. en el AFD Complemento : .b} y 0 desde {b}.b} {b} {b.c} 0 {b} {b} {b.