Академический Документы
Профессиональный Документы
Культура Документы
1
Fase 1: Fase 1: - Debatir y desarrollar los ejercicios planteados sobre lenguajes y
expresiones regulares.
Ejercicio 1:
Procedimiento
2
Eliminando q2
Procedimiento
3
Eliminado q3
Procedimiento
4
Eliminando q4
Autmata
q (q,)
q0 a q4
q0 b q3
q2 a q0
q2 b q3
Hallar la expresin
q3 a q3
regular (ER) q3 b q2
q4 (a+b) q3
() = ((( + )( + ) ) + (( + ) ))
5
Es un Autmata Finito Determinstico (AFD): debido a
que para cada transicin se asigna slo un estado
Justificar el tipo de
siguiente, por lo que se puede prever fcilmente los
autmata que es
caminos que recorrer segn el smbolo ledo, adems
no existen transiciones vacas en l.
Ejercicio 2
AFND porque tiene una transicin vaca y un estado que nos lleva a dos estados
diferentes con la misma funcin
Paso 1
Realizar la tabla de transiciones
0 1
0 = {0} U 1= 2 = {0,1} U
1= 1= 1=
6
4 = {0,1,2,3} U {1} 5 = {0,2} U {1} 4 = {0,1,2,3} U {1}
0 1
0 1 2
1 1 1
2 1 3
3 0 4
4 5 4
5 0 4
0 1
-0 1 2
1 1 1
#2 1 3
#3 0 4
#4 5 4
#5 0 4
7
Ejercicio 3
q (q, )
q0 0 q1
q0 1 q2
q2 0 q1
q2 1 q3
q3 0 q0
q3 1 q4
q4 1 q4
q4 0 q5
q5 0 q0
8
q5 1 q4
3. Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe explicar y
describir cada elemento y la funcin y significado en el autmata. Conceptos y
definiciones adicionales
= {0,1} Es el alfabeto del autmata
Q = {q0,q1,q2,q3,q4,q5} Es un conjunto finito o vaco de estados, es decir, 0 < |Q |
<
= (q0,0) = q1
(q0,1) =q2
(q2,0) =q1
(q2,1) =q3
(q3,0) =q0
(q3,1) =q4
(q4,0) =q5
(q4,1) =q4
(q5,0) =q0
(q5,1) =q4
9
10
Cadena 11 empieza en q0 pasa a q2 con 1 y a q3 con 1
11
12
Cadena 111 empieza en q0 pasa a q2 con 1 , a q3 con 1 y a q4 con 1
13
14
Cadena 1110 o 11111110, porque q4 puede o no puede existir 1, entonces la
cadena 1110 la leer correctamente, la estrella de kleen en q4 se est refiriendo
puede existir 0 o muchas veces, pasamos de q0 a q5
Cadena 1110
15
16
17
Cadena 111111110
18
19
20
En las siguiente grafica podemos visualizar en q4, que pasara 4 veces en q4 y
despus termina en q5
21
22
Recorreremos todo el autmata con la siguiente cadena
1101110011101000
23
24
25
26
27
28
29
30
31
5. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres
similitudes y tres diferencias que encuentra al realizarlo en los dos simuladores.
(Ventajas que ofrezca uno a otro).
32
Bibliografa.
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=
10
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351
Ferrando, J.C., and Gregori, V. (2012). Matemtica discreta (2a. ed.). (pp. 207-232).
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=260&docID=10751
543&tm=1481476339478
33
Alemn. H. [Helena]. (2017, Junio 19). Conceptualizacin de autmata [Archivo de video].
https://www.youtube.com/watch?list=PLYIk_3YB0nVyiNMAdrCPgiv0EoSHZtNto&v=z
MhwYlXAHE4
https://www.youtube.com/watch?v=29Qp_AWXFt4
https://youtu.be/NF47BSorRfU
34
Conversin de AFD a expresin regular, recuperado de
http://conferencia2.unad.edu.co/p77tscx2n8p/?OWASP_CSRFTOKEN=7937483ee29cb2b
2a01de48f0086fc4d743e43f9e5e8d3140001806b02720b08
35