Punto 3 colaborativo

Describa la forma matemática del autómata:

-El autómata se define mediante y una quíntupla A=( Q , Σ , δ , S , F )

En donde cada elemento significa, los estados del AFND son Q={q 0 , q 1 , q 3 , q 4 }

El alfabeto reconocido por el autómata es: Σ={a , b }

Los estados iniciales del autómata son: S= { q 0 }

Los estados finales del autómata son: F={q 1, q 4 }

Definimos la función de transición:

 δ()
(q0,a) q4
(q0,b) q0,q3
(q1,a) q1
(q1,b) q4
(q3,a) q3
(q3,b) q1
(q4,a) q0
(q4,b) q4

La tabla de transición del autómata quedaría de la siguiente manera:

a b
->q0 q4 q0.q3
q1* q1 q4
q3 q3 q1
q4* q0 q4

Se evidencia claramente de lo anterior que con una misma entrada es posible ir a dos estados de manera simultánea
por lo que es un AFND

Ahora mediante el uso del simulador JFLAP para comprobar paso por paso una cadena

aaaabba

Empieza el recorrido de la cadena:

 Se procesa el carácter “a”

Se pasa del estado q0 a q4 y se procesará el carácter ``a´´

Se pasa del estado q4 a q0 y se procesará el carácter ``a´´

Se pasa del estado q0 a q4 y se procesará el carácter ´´a``

Se pasa del estado q4 a q0 y se procesará el carácter

´´b``
Se pasa de manera simultanea al estado q0 y q3, y se continuamos procesando el caracter “b”
Se pasa a los estados q0, q3 y q1 de manera simultánea y se procede a procesar el último carácter “a”

Se pasa a los estados q3, q1 y q4 donde de manera simultánea se procederá a procesar el carácter ´´b`` donde
terminaría la cadena.

DIFERENCIAS ENTRE JFLAP Y VAS

Al momento de crear un nuevo diagrama VAS nos da la posibilidad de darle un nombre al estado creado, en cambio
en JFLAP genera los nombres de los estados de manera secuencial (q1, q2, q4, q4,…) donde luego permitirá colocar
deseado.
Al momento de crear un ciclo en un estado en VAS es posible cambiar el tamaño y la posición del ciclo muy
fácilmente en cambio en FLAP es más estricto y rígido en este aspecto.

Al momento de abrir JFLAP nos permite la elección del tipo de autómata a crear además de que también permite
definir gramáticas, expresiones regulares, etc.
En VAS únicamente es posible crear AF y Máquinas de Turing

SIMILITUDES

En ambos programas es posible la construcción de un diagrama de Moore para AFD y AFND

En ambos programas es posible realizar pruebas de cadenas de entrada

PREGUNTAS DE CONTROL

1. Dentro de las aplicaciones de autómatas se tiene:

 
A. Alimentación
B. Medicina
C. Fabricación de calzado
D. Educación
 
2. Dentro de la clasificación jerárquica de los autómatas se encuentran los intermedios en primer nivel, a su vez
dentro de ellos están:

A. Memoria Linealmente limitada

B. Autómatas Finitos
C. Máquinas de Turing
D. Códigos convolucionales
 

3. Cuando se realiza la Conversión de AFN a AFD con transiciones vacías el resultado de C = {1, 3, 4} U {0, 1, 3} con
transición X es:

D = {1,2,3,4} U {0,1,3}
C = {1,3,4} U {0,1,3}
B = {1,2} U {0,1,3}
D = {1,2} U {0,1,3}
 

4. Teniendo en cuenta la siguiente imagen cual es la respuesta:

A
.
B
.

C
.

D
.