Está en la página 1de 16

INTRODUCCION:

En esta practica se efectan 22 ejercicios en los cuales en cada uno se desarrollan los autmatas finitos deterministas AFD y los autmatas finitos no deterministas AFN . En cada uno de los ejercicios traen consigo adems de los autmatas, una tabla que explica la conexin de estados y con que carcter, tambin en cada ejercicio se explica las 5 fases pro las que pasa un autmata los cuales son: M:{,Q,S,F Y } Q= es un conjunto finito de estados = es un alfabeto de entrada S= es el estado inicial y es elemento de Q F= es un conjunto de estados finales o aceptacin = funcin de transicin Que sern comprensibles al observar o ejecutar cada ejercicio.

1) Hacer AFD que acepte A

Q= {q0, q1, q2} = A S=q0 F=q1 q0 q1 q2

A q1 q2 q2

Clasificacin ~Ef Ef ~Ef

2) Hacer un AFD que acepte w=ba

={a, b}

Q= {q0, q1, q2, q3} = {a, b} S= q0 F= q2

q0 q1 q2 q3

a q3 q2 q3 q3

b q1 q3 q3 q3

Clasificacin ~Ef ~Ef Ef ~Ef

3) Hacer un AFD que acepte L= {rana, ranas, ana}

Q= {q0, q1, q2, q3, q4, q5,q6, q7 q8, q9} = {r, a, n, s} S= q0 F= {q4, q5, q8} q0 q1 q2 q3 q4 q5 q6 q7 q8 q9 r q1 q9 q9 q9 q9 q9 q9 q9 q9 q9 a q6 q2 q9 q4 q9 q9 q9 q8 q9 q9 n q9 q9 q3 q9 q9 q9 q7 q9 q9 q9 s q9 q9 q9 q9 q5 q9 q9 q9 q9 q9 Clasificacin ~Ef ~Ef ~Ef ~Ef Ef Ef ~Ef ~Ef Ef ~Ef

4) L1= {mar, rama, mara}

Q= {q0, q1, q2, q3, q4, q5, q6, q7 q8, q9} = {a, m, r} S= q0 F= {q3 q4, q9} q0 q1 q2 q3 q4 q5 q6 q7 q8 q9 a q7 q2 q7 q4 q7 q6 q7 q7 q9 q7 m q1 q7 q7 q7 q7 q7 q8 q7 q7 q7 r q5 q7 q3 q7 q7 q7 q7 q7 q7 q7 Clasificacin ~Ef ~Ef ~Ef Ef Ef ~Ef ~Ef ~Ef ~Ef Ef

5) L2= {ab, aba, bba}

Q= {q0, q1, q2, q3, q4, q5, q6, q7} = {a, b} S= q0 F= {q2, q3, q7} q0 q1 q2 q3 q4 q5 q6 q7 a q1 q4 q3 q4 q4 q4 q7 q4 b q1 q2 q4 q4 q4 q6 q4 q4 Clasificacin ~Ef ~Ef Ef Ef ~Ef ~Ef ~Ef Ef

6) L3= {0110, 01, 110, 1100}

Q= {q0, q1, q2, q3, q4, q5, q6, q7, q8, q9} = {0, 1} S= q0 F= {q2, q4, q8, q9} q0 q1 q2 q3 q4 q5 q6 q7 q8 q9 0 q1 q5 q5 q4 q5 q5 q5 q8 q9 q5 1 q6 q2 q3 q5 q5 q5 q7 q5 q5 q5 Clasificacin ~Ef ~Ef Ef ~Ef Ef ~Ef ~Ef ~Ef Ef Ef

7) L= {x|x contiene la subcadena abab del = {a, b}]

Q= {q0, q1, q2, q3, q4} = {a, b} S= q0 F= {q4} q0 q1 q2 q3 q4 a q1 q0 q3 q3 q4 b q0 q2 q0 q4 q4 Clasificacin ~Ef ~Ef ~Ef ~Ef Ef

8) Hacer un AFD que acepte la expresin regular 1*00*(0u1)*

9) Hacer un AFD que acepte: L= {w|w toda a de w esta entre bs} = {a, b}

10) Hacer un AFD que acepte la expresin regular ab+ab*

11) (q, a) = q Decir si w=10101 se acepta o no

W= 10101 No se acepta (q0, 1) = q1 (q0, 0) = q3 (q0, 1) = q2 (q0, 0) = q0 (q0, 1) = q1

w= 0011 si se acepta (q0, 0) = q2 (q2, 0) = q0 (q0, 1) = q1 (q1, 1) = q0

12) Q= {q0, q1, q2} = {a, b} S= {q0} F= {q0}

q0 q1 q2

a q1 q0

b {q0, q2}

Clasif. Ef ~Ef ~Ef

Proliferacin W= abaa b q0 q1 b q2 q0 q1 No se acepta

q0

Si se acepta

13. hacer AFND que acepte la cadena char.

14. hacer AFND que acepte la expresin regular (0u1)* (0u1) 1 1 (0u1).

q0 0 q0 0

q1

0 No se acepta

q1

0 No se acepta

q0 0

q1

q2

1 q3

q4

q0

q1

1 1

q2 q2

1 0

q3

q4 Si se acepta

1 q0 0 q1 1 q0 0

q3 No se acepta

q1 0 0

q2 No se acepta q1 No se acepta

1 q0 0

q0 No se acepta

15

. W=abbba ={a,b} S=q0 F={q1,q3} Q={q0,q1,q2,q3}

q0 q1 q2 q3

a
{q1,q2} 0 {q3} 0

b
0 {q1} {q2} 0

cl
~EF EF ~EF EF

16. Hacer un AFND que acepte : (0U1)* 0 (0U1)0(0U1)*

Proliferacin de estados q0 0 q1 0 q2 1 0

1 q0 1 0 q1 1 q2 1 0

q0

q1

1 q0 1 1 0

q0

0q1

q2

q3

q3

q3se acepta

q0 0 q0

q1

q2

17. Hacer un AFND que acepte : (aUb)*(aaUbb)(aUb)*

Proliferacin de estados

q0 b q0 a

q3

0 No se acepta

q1

q2

q2

q2

si se acepta

q0 a q0 b

q1

0 no se acepta q3 no se acepta

q0

q0

no se acepta

q3

q2 si se acepta

18. conversin de AFD y AFND

CLASIF

Q0 Q1 {0}

{q0,q1}

{q1} EP

-EP

{q0,q1}

{q0,q1}{q0,q1}{q0,q1} 0 0 0

EP -EF

19. conversin de AFD y AFND

M S = {q0} = {a,b} F = {Q1,{Q0,Q1}} Q = {Q0,Q1{Q0,Q1},0}

CONCLUSION:
Gracias a esta practica comprendimos como realizar un autmata con sus estados y la manera que se entrelazaran para darnos como resultado la cadena esperada, siendo asi de gran utilidad para analizar y comprender la forma en como desarrollar una cadena mentalmente y a su vez como poder plasmar estos conocimientos en el JFLAP. Creemos que un autmata es de gran utilidad ya que sin la ayuda visual nos es un poco mas complicado comprender la funcin de una cadena y todo lo que conlleva para llegar a ser lo que es como resultado final o esperado.