Académique Documents
Professionnel Documents
Culture Documents
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.
A q1 q2 q2
={a, b}
q0 q1 q2 q3
a q3 q2 q3 q3
b q1 q3 q3 q3
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
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
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
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
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
9) Hacer un AFD que acepte: L= {w|w toda a de w esta entre bs} = {a, b}
q0 q1 q2
a q1 q0
b {q0, q2}
q0
Si se acepta
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
q0 q1 q2 q3
a
{q1,q2} 0 {q3} 0
b
0 {q1} {q2} 0
cl
~EF EF ~EF EF
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
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
CLASIF
Q0 Q1 {0}
{q0,q1}
{q1} EP
-EP
{q0,q1}
{q0,q1}{q0,q1}{q0,q1} 0 0 0
EP -EF
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.