Fase 1: Debatir y desarrollar los ejercicios planteados sobre lenguajes y expresiones regulares.

Yesika Paola Becerra Castro

Cdigo: 1.052.405.119
Brayan Lewis Muoz Rivas
Cdigo: 1.028.025.777
Wilfredo Martnez Gonzlez
Cdigo: 71.385.518
Diego Libardo Ulloa Prada
Cdigo: 13.271.220
Andres Felipe Bernal Franco
Cdigo: 9.861.104

Universidad Nacional Abierta Y A Distancia UNAD

Escuela de Ciencias Bsicas, Tecnologa e Informtica
Colombia
Octubre 2017
Fase 1: Debatir y desarrollar los ejercicios planteados sobre lenguajes y expresiones regulares.

Yesika Paola Becerra Castro

Cdigo: 1.052.405.119
Brayan Lewis Muoz Rivas
Cdigo: 1.028.025.777
Wilfredo Martnez Gonzlez
Cdigo: 71.385.518
Diego Libardo Ulloa Prada
Cdigo: 13.271.220
Andres Felipe Bernal Franco
Cdigo: 9.861.104

Autmatas y lenguajes formales Grupo 301405_7

Docente Vctor Fernando Canon Rodrguez

Universidad Nacional Abierta Y A Distancia UNAD

Escuela de Ciencias Bsicas, Tecnologa e Informtica
Colombia
Octubre 2017
 Introduccin.

En el siguiente trabajo se desarrollara la actividad Colaborativaindividual fase 1: Explorar.

Debatir y desarrollar los ejercicios planteados sobre lenguajes y expresiones regulares.
Solicitada en la gua integrada de actividades del curso Autmatas y lenguajes formales. El
curso hace parte del campo de formacin profesional bsico del Programa de Ingeniera de
Sistemas con un valor acadmico de tres (3) crditos acadmicos, dividido en tres unidades
didcticas. As: Unidad 1. Los lenguajes regulares para la construccin de analizadores
lxicos. Unidad 2. Los lenguajes independientes del contexto para la construccin de
analizadores sintcticos. Unidad 3. Didctica (Lenguajes estructurados por frases incluidas
las mquinas de Turing), son fundamentales para el estudio de la computabilidad y
complejidad de problemas. Para el desarrollo ptimo del siguiente trabajo individual, es
necesario dar solucin a los tres ejercicios solicitada en la gua de actividades del curso.

1
 Fase 1: Fase 1: - Debatir y desarrollar los ejercicios planteados sobre lenguajes y

expresiones regulares.

Ejercicio 1:

Teniendo en cuenta el autmata realizar paso a paso el procedimiento de

1. Hallar la expresin regular

Procedimiento

2
 Eliminando q2

Procedimiento

3
 Eliminado q3

Procedimiento

4
 Eliminando q4

La expresin regular del autmata es = (a+ab(b)+a(ab))*

2. Hallar el lenguaje regular

Extensin A = [Autmata que empieza y termina en a]
Compresin = A [a]

3. Justificar el tipo de autmata que es

Es un autmata finito determinista, porque cada uno de los estados tiene 2
transiciones que llegan a diferentes estados

AUTMATA FINITO DETERMINSTICO

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

() = ((( + )( + ) ) + (( + ) ))

Hallar el lenguaje () = ([])

regular

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

Realizar la conversin del siguiente autmata, si el autmata es AFD convertirlo a AFND y

si es AFND convertirlo a AFD, se debe mostrar el procedimiento paso a paso

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=

2 = {0,1} U 1= 3 = {0,1,2} U {1}

3 = {0,1,2} U {1} 0 = {0} U 4 = {0,1,2,3} U {1}

6
 4 = {0,1,2,3} U {1} 5 = {0,2} U {1} 4 = {0,1,2,3} U {1}

5 = {0,2}U {1} 0 = {0} U 4 = {0,1,2,3} U {1}

Reducir tabla de transicin

0 1

0 1 2

1 1 1

2 1 3

3 0 4

4 5 4

5 0 4

El autmata finito determinista quedara de la siguiente manera

0 1

-0 1 2

1 1 1

#2 1 3

#3 0 4

#4 5 4

#5 0 4

7
Ejercicio 3

Teniendo en cuenta el ejercicio anterior, seleccionar el autmata finito determinista (AFD).

Con base a este autmata desarrolle

1. Describa la forma matemtica del autmata

El autmata finito determinista (AFD) se define como una quntupla
M (, Q, , q0, F)
2. Plasme la tabla de transicin

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

Funcin de transicin, para cada estado y cada smbolo una transicin

q0 = q0 Estado inicial del autmata

F = {q2,q3,q4,q5} conjunto de estados finales del autmata

4. Muestre en el simulador (grficamente) como recorre una cadena valida. Explique

cada secuencia.(No se trata solo captura las imgenes, estas deben ser explicadas en
pie de pgina o de la contrario no tienen validez

Cadena 1, empieza en q0 y termina en q2

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

La cadena recorre: q0 a q2, q2 a q3, q3 a q0, q0 a q2, q2 a q3, q3 a q4, q4 a q5, q5 a

q0, q0 a q2, q2 a q3 , q3 a q4 , q4 a q5, q5 a q4 , q4 a q5, q5 a q0 y q0 a q1

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.

Hernndez, R. (2010). Practique la teora de autmatas y lenguajes formales. (pp. 1 -124).

Recuperado del siguiente enlace:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=

10

Alfonseca, C., Alfonseca, M., Mariyn, S. (2009). Teora de autmatas y lenguajes

formales. (pp. 7-797). Recuperado del siguiente enlace:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=

Milln, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-62).

Recuperado del siguiente enlace:

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).

Recuperado del siguiente enlac

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].

Recuperado del siguiente enlace:

https://www.youtube.com/watch?list=PLYIk_3YB0nVyiNMAdrCPgiv0EoSHZtNto&v=z

MhwYlXAHE4

Gonzlez, A. [ngela]. (2016, mayo 30). Conversin de Autmata Finito No Determinista

a Autmata Finito Determinista [Archivo de video]. Recuperado del siguiente enlace:

https://www.youtube.com/watch?v=29Qp_AWXFt4

Gonzlez, A. [ngela]. (2016, mayo 30). Conversin de Autmata Finito No Determinista

a Autmata Finito Determinista con transiciones vacas Mtodo 1. [Archivo de video].

Recuperado del siguiente enlace: https://www.youtube.com/watch?v=NF47BSorRfU

Gonzlez, A. [ngela]. (2016, junio 6). Conversin de Autmata Finito No Determinista a

Autmata Finito Determinista con transiciones vacas Mtodo 2. [Archivo de video].
Recuperado del siguiente enlace: https://www.youtube.com/watch?v=KhgMam0DMmM

Gonzlez, A. [ngela]. (2016, Mayo 30). Conversin de Autmata Finito No Determinista

a Autmata Finito Determinista con transiciones vacas Mtodo 1. [Archivo de video].
Recuperado de

https://youtu.be/NF47BSorRfU

34
Conversin de AFD a expresin regular, recuperado de

http://conferencia2.unad.edu.co/p77tscx2n8p/?OWASP_CSRFTOKEN=7937483ee29cb2b
2a01de48f0086fc4d743e43f9e5e8d3140001806b02720b08

35