Professional Documents
Culture Documents
Preparado por
Cesar Andrey Lpez Cajamarca
Johan Gustavo Hernndez Moreno
Dennix Alberto Barrios Castillo
Curso 301405_33
La Dorada, Colombia
2015
Desarrollo de actividades
Problemas a desarrollar:
2. Identifique los elementos (Tupla que es) (Asociadas con los elementos
del autmata del ejercicio propuesto). Debe explicar y describir cada
elemento y la funcin y significado en el autmata. Conceptos y
definiciones adicionales.
Tupla del ejercicio
Descripcin:
q0 K; Estado inicial
En las anteriores imgenes vemos como la cadena corre del estado q1 al estado
q3, mostrndonos nuevamente la cadena de color azul, as mismo la cadena que
parti del estado q0 al estado q2 vemos que pasa al estado q4 y se encuentran en
q2, mostrndonos nuevamente la cadena de color azul.
Forma Maquina
En el autmata se identifica, las cadenas vlidas, en ellas tenemos:
Al tener las cadena validas entonces daremos clic en Input => Convert FA to ER,
automticamente saldr una ventana con error.
Ese error nos indica que el autmata es AFND y debemos convertir el autmata a
Autmata Finito Determinstico, entonces procederemos en la conversin,
analizando el autmata podemos observar que tenemos dos estados finales
colocamos a Q4 como fianl, ya que la transitoria de a es q0, a = q1; q0, = q2;
pero q1, a = q3, lo que se trata establecer q Q, tal que para un smbolo a
del alfabeto, existe ms de una transicin (q,a) posible. Ahora colocamos a Q4
como estado aceptable o final.
Al
=>
FA
clic en
Input
Convert
to ER,
nos
Forma manual:
CADENAS NO VALIDAS
bac
cb
= (q0, a)=q1
= (q1, b) =q3
= (q3, a, b)=q3
= (q0, b)=q2
= (q2, a)=q0
= (q2, b)=q2