Está en la página 1de 10

ACTIVIDAD INDIVIDUAL FASE 2

PRESENTADO A:
JHEIMER JULIAN SEPULVEDA

PRESENTADO POR:
FABIAN LEONARDO GOMEZ CADENA

PROGRAMA DE INGENIERÍA DE SISTEMAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA (ECBTI)

CURSO: AUTOMATAS Y LENGUAJES FORMALES

CEAD FLORENCIA – 2019


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: Conversión de un Autómata Finito a Expresión Regular

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4
5. Ejercicio 5

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterización En este espacio se realiza:


del autómata
- Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista.
Respuesta: El autómata del ejercicio 2
corresponde a un Autómata Finito No
Determinista

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


Respuesta: Un autómata finito no determinista
consta con las siguientes características:

• Su transición desde un estado puede tener


múltiples destinos.
• Permite transiciones con cadenas vacías.
• Requiere menos espacio
• Una cadena es aceptada si solo una de todas
sus posibles transiciones es hacia un estado
final.
Procedimiento Realice de manera detallada el procedimiento paso
de conversión a paso de la conversión del autómata a expresión
de Autómata regular y según ejemplo revisado.
Finito a
Expresión
Regular paso a
paso

- Paso 1: Eliminamos el estado “q1”

- Paso 2: Eliminamos el estado “q0”

- Paso 3: Hallamos la expresión regular para el


autómata.
Autómata Final En este espacio se presenta la expresión
convertido correspondiente al autómata trabajado.

En este espacio agrega el lenguaje regular


Lenguaje correspondiente a la expresión regular.
regular
ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas
Finitos No deterministas (AFD a AFND) y viceversa

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

5. Ejercicio 5
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterización En este espacio se realiza:


del autómata - Identificación del Autómata Finito Determinista o
Autómata Finito No Determinista.

Respuesta: El autómata del ejercicio 2


corresponde a un Autómata Finito No
Determinista

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

Respuesta: Un autómata finito no determinista


consta con las siguientes características:

• Su transición desde un estado puede tener


múltiples destinos.
• Permite transiciones con cadenas vacías.
• Requiere menos espacio
• Una cadena es aceptada si solo una de todas
sus posibles transiciones es hacia un estado
final.
Procedimiento Realice de manera detallada el procedimiento paso
de conversión a paso de la conversión del autómata según
paso a paso corresponda y según ejemplo revisado.

- Paso 1
a b
q0 q1, q3 -
q1 - q2
q2 - -
q3 - q2, q3

- Paso 2
a b
q1, q3 - q2, q3
q2, q3 - q3, q2
q0 q1, q3 -

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 las imágenes tomadas del


simulador utilizado.

Autómata original
Autómata resultado final
BIBLIOGRAFÍA

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


Gramáticas Y Autómatas Para Informáticos. Recuperado de https://web-a-ebscohost-
com.bibliotecavirtual.unad.edu.co/ehost/ebookviewer/ebook?sid=eb734dec-c0c7-4710-8215-
3292d0b7acb4%40sessionmgr4009&ppid=pp_Cover&vid=0&format=EB

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


formales. (pp. 1 -124). Recuperado
de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199845&ppg=10

 Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes


formales. (pp. 7-797). Recuperado
De https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3195129&ppg=6