ACTIVIDAD INDIVIDUAL FASE 2

ESTUDIANTE:

JORGE ANDRES GOMEZ

GRUPO: 61

TUTOR:
JHEIMER JULIAN SEPULVEDA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTÓMATAS Y LENGUAJES FORMALES
6 MARZO DEL 2019
 INTRODUCCIÓN

La teoría de autómatas es una rama de las ciencias de la computación que estudia las máquinas
abstractas y los problemas que éstas son capaces de resolver. La teoría de autómatas está
estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados
a menudo por la clase de lenguajes formales que son capaces de reconocer.

Un autómata es un modelo matemático para una máquina de estado finito (FSM sus siglas en
inglés). Una FSM es una máquina que, dada una entrada de símbolos, "salta" a través de una
serie de estados de acuerdo a una función de transición (que puede ser expresada como una
tabla). En la variedad común "Mealy" de FSMs, esta función de transición dice al autómata a qué
estado cambiar dados un determinado estado y símbolo
 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 son 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 son 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

verificar lo los dos autómatas, el original y el autómata
aprendido resultado 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
dehttp://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&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
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?do cID=10566114&ppg=10

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

lenguajes formales. (pp. 7-797). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?do cID=10498456&ppg=6