DESARROLLO PEP2 Procesamiento de Lenguajes Formales

Sergio Gonzalez Celis 12.664.493-0

1.- Disee un AFD que acepte palabras sobre {a,b} tales que no contienen a aa ni a bb como subpalabras.
1

a a
2

b a
4

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

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

DESARROLLO PEP2 Procesamiento de Lenguajes Formales

Sergio Gonzalez Celis 12.664.493-0

2.b) Que retorna (q1,00001)? Siguiendo las transiciones ((q1,0),q2), ((q2,0),q4), ((q4,0),q3), ((q3,0),q2), ((q2,1),q1), a partir de q1 como estado inicial, tenemos que :
( ) ( ) ( ) ( ) ( ) ( )

El ltimo cambio de estado queda en q1 y ste no pertenece a los estados finales {q2,q3}, por tanto no es una palabra aceptada.

2.c) Es aceptada la palabra 110011 ? Siguiendo las respectivas transiciones y cambios de estados : ((q1,1),q3), ((q3,1),q4), ((q4,0),q3), ((q3,0),q2), ((q2,1),q1), ((q1,1),q3) Tenemos :
( ) ( ) ( ) ( ) ( ) ( ) ( )

Por tanto, Si es aceptada, ya que q3 pertence a los estado finales.

2.d) Calcular R(2,3,2) Sea : i=2 , j=3, 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

DESARROLLO PEP2 Procesamiento de Lenguajes Formales

Sergio Gonzalez Celis 12.664.493-0

2.e) Indique cual es la expresion recursiva para calcular la ER del lenguaje

(
La expresion es: 2.f) Escriba las ecuaciones de ER de transiciones entrantes

Despejando las ecuaciones, tenemos :

2.g) Indique qu variable(s) o incgnita(s) de las ecuaciones anteriores debe resolver para encontrart la ER del lenguaje aceptado por este AFD.

Dado que debemos construir la Ecuacin lineal bsica ( x = xa + b) y que adems es la condicin de sustitucin, tenemos que solo X4 cumple con la estructura

Entonces :

b por tanto :

DESARROLLO PEP2 Procesamiento de Lenguajes Formales

Sergio Gonzalez Celis 12.664.493-0

3.- Para el AFN M= <{0,1} , ,{a,b,c} , a, {c}, { (a,,b) , (b,0,b) , (b,1,c) , (c,0,c) , (c,1,b) , (c,,b) }>
0

a
1 1

c
0

3.a) Encuentre un AFD Equivalente

Q" {a,b} {b} {b,c}

por tanto, AFD Equivalente :

0 {b} {b} {b,c}

1 {b,c} {b,c} {b,c}

Final ? No No Si

0 0
{b}

{a,b}

{b,c}

0 1

DESARROLLO PEP2 Procesamiento de Lenguajes Formales

Sergio Gonzalez Celis 12.664.493-0

3.b) Encuentre el AFD Complemento

Q" {a,b} {b} {b,c}

0 {b} {b} {b,c}

1 {b,c} {b,c} {b,c}

(Complemento)

Final ? Si Si NO
0

{b}

{a,b} {b,c}

0 1

3.c) Alguno de los anteriores acepta {0,1}* ? porqu? Si, el AFD Equivalente acepta el par de transiciones {0,1}* ya que ambas transiciones llegan al estado {b,c} y este estado en el AFD equivalentes est considerado como estado Final, por tanto, la palabra es aceptada por ste AFD Por otro lado, en el AFD Complemento : - Las transiciones que llegan al estado final {b} son el 0 desde {a,b} y 0 desde {b}, por tanto la transicion 1 no llega nunca - En el caso del estado final {a,b} no es posible llegar . - Y por ltimo {b,c} en ste AFD no es estado final.