Está en la página 1de 13

Autómatas y Lenguajes formarles

Fase 2

Conocer formalismos usados para definir lenguajes formales

Tutor

Vermen Rainer Ayala

Grupo

301405_31

Por:

Sergio Zapata Espinosa

Código71718620

29/02/2020

CEAD

Medellín
Introducción

Por medio de este trabajo pretendemos conocer los distintos tipos de


autómatas, gramática y lenguajes con el fin de comprender y resolver
diferentes tipos de problemas, utilizando los recurso bibliográficos de la UNAD,
para conocer los lenguajes regulares y sus maquinas, alfabetos, cadenas,
Autómatas finitos y sus clases.
Actividades Individuales:

Cada estudiante resuelve el taller propuesto en el objeto virtual de


aprendizaje Lenguajes Regulares propuesto en el entorno de
conocimiento Unidad 1.
EJERCICIOS DE LA FASE 1
ACTIVIDAD INDIVIDUAL

De acuerdo al último dígito de su cédula o tarjeta de identidad,


identifique el ejercicio asignado en la siguiente tabla:
Último dígito Ejercicio
de la Cédula o
TI

1y9 Ejercicio 1

2y8 Ejercicio 2

3y7 Ejercicio 3

4y6 Ejercicio 4

5y0 Ejercicio 5

Actividad 1: Expresión regular

EJERCICIO A
TRABAJAR

Ejercicio 5
Caracterización En este espacio se realiza:
del autómata - Identificación del Autómata Finito
Determinista o Autómata Finito No
Determinista
El ejercicio No.5 Hace referencia a un AFD,ya
qué se evidencia que para cada estado sólo
existe una sola transición para llegar a la
aceptación, en otras palabras no se repite la
salida con el mismo símbolo en cada estado

- Explicar las características del tipo de autómata


Donde:
=Notación matemática, =Conjunto de estados,
Σ=Símbolos. lenguaje, =Estado inicial
=Estado final, =Transición

= ({ 0, 1, 2, 3}, { , , }, , 0, { 3})
= { 0, 1, 2, 3}
Σ={ , , }
= 0
= 3

( 0, ) = 1
( 0, ) = 2
( 0, ) = 0
( 1, a) = 3
( 1,c) = 1
( 2, ) = 3
( 3, ) = 0
a b c
0 1 2 0,

1 3 - 1

2 3 - -

3 - 0, -

Procedimiento Realice de manera detallada el procedimiento


de conversión paso a paso de la conversión del autómata a
de Autómata expresión regular y según ejemplo revisado.
Finito a
Expresión
Regular paso a Eliminación de estados
paso Definimos las rutas para llegar al estado final
- Paso 1…Eliminar 1
c

q0
ac*a
b
b
q2 q3
a

Se suprime el camino q0-q1-q3

q0-q3= ac*a

Paso 2… Eliminar 2

c
q0
ac*a+ba

b
q3

Se suprime el camino q0-q2-q3

q0-q3= ac*a+ba

ER= c*(ac*a+ba)
Autómata Final En este espacio se presenta la expresión
convertido correspondiente al autómata trabajado.
c
(C*(ac*a+ba)b)
q3
q0
b

Lenguaje En este espacio agrega el lenguaje regular


regular correspondiente a la expresión regular.

L=( C*(ac*a+ba)b)

Actividad 2: Conversión del autómata

EJERCICIO A
TRABAJAR

Ejercicio 5
Caracterización En este espacio se realiza:
del autómata - Identificación del Autómata Finito
Determinista o Autómata Finito No
Determinista
El ejercicio No.5 Hace referencia a un AFND,ya qué
se evidencia que q3 existe más de una transición
con el mismo símbolo para llegar a la aceptación,
en otras palabras se repite la salida con el mismo
símbolo en estado q3a

- Explicar las características del tipo de autómata


=Notación matemática, =Conjunto de estados,
Σ=Símbolos. lenguaje, =Estado inicial
=Estado final, =Transición
= ({ 0, 1, 2, 3}, { , , }, , 0, { 3})
= { 0, 1, 2, 3}
Σ={ , , }
= 0
= 3

( 0, ) = 1
( 0, ) = 2
( 1, a) = 3
( 1,b) = 1
( 2, ) = 3
( 2, c) = 1
( 3, ) = 1, 2

a b c
0 1 2 -

1 3 1 -

2 3 - 1

3 - 1, 2 -

Procedimiento
de conversión
paso a paso Realice de manera detallada el procedimiento paso a
paso de la conversión del autómata según
corresponda y según ejemplo revisado.

- Paso 1…Generar tabla de transición

a b c
0 1 2 -

1 3 1 -

2 3 - 1

3 - 1, 2 -
- Paso 2…
2…Tabla con los nuevos estados
a b c
0 1 2 -
1 3 1 -

2 3 - 1

1, 2 3, 3 1 1

3 - 1, 2 -

Autómata Final En este espacio se presenta el autómata final


convertido

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar los


verificar lo dos autómatas, el original y el autómata resultado
aprendido final de la conversión y validar por lo menos tres
cadenas válidas y tres cadenas rechazadas.

En este espacio agregar


agregar las imágenes tomadas del
simulador utilizado.

Autómata Original
Autómata resultado final
PREGUNTAS VERIFICACION OVA

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:

A = {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.
Conclusiones

Por medio este trabajo logramos entender los distintos tipos de autómatas,
gramática y lenguajes con el fin de comprender y resolver diferentes tipos de
problemas, utilizando los recurso bibliográficos de la UNAD, para conocer los
lenguajes regulares y sus maquinas, alfabetos, cadenas, Autómatas finitos y
sus clases.
Referencias Bibliográficas

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De


Lenguajes, Gramáticas Y Autómatas Para Informáticos. (pp.
127 - 142). Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=t
rue&db=nlebk&AN=318032&lang=es&site=edslive&ebv=EB&
ppid=pp_Cover

Hernández, R. (2010). Practique la teoría de autómatas y


lenguajes formales. (pp. 1 -124). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?docID=10566114&ppg=10

Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de


autómatas y lenguajes formales. (pp. 71 - 115). Recuperado
de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?docID=10498456&ppg=6

Millán, J., Antonio J. (2009). Compiladores y procesadores de


lenguajes. (pp. 28-62). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.ac
tion?docID=10844351

Ferrando, J.C., and Gregori, V. (2012). Matemática discreta


(2a. ed.). (pp. 207-232). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?ppg=260&docID=10751543&tm=1481476339478