UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Autómatas y lenguajes formales.

Cristian Fernando Tovar Torres.

Ingeniero. Vermen Rainer Ayala.

Notas de autor

Universidad Abierta y a Distancia UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Autómatas y lenguajes formales

Medellín, Colombia

05 Marzo. 20
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
2

Introducción

La definición de los autómatas y los aportes de Turing permitieron la definición y

descubrimiento de un concepto que el cual es la piedra angular para la computación, de hecho el

concepto de computación tampoco existía. El concepto de algoritmo como la secuencia de pasos

lógicos para la solución de determinado problema y la ingeniería de sistemas que consiste en

modelar un algoritmo en máquinas que utilizan algebra booleana u otros teoremas para modelar

todos sus estados. Hasta el momento Turing propuso la maquina más abstracta posible con la

capacidad de solucionar cualquier problema de computación, los autómatas se fundamentan en esa

máquina para realizar sus computaciones he ahí la importancia de la teoría de autómatas pues en

ella se encuentran los principios fundamentales de la computación, en el siguiente trabajo

evidenciaremos los principios matemáticos formales que giran en torno a los autómatas.

.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
3

Objetivos

General.

 Conocer aspectos fundamentales de la teoría de autómatas.

Específicos.

 Conocer conceptos de autómatas.

 Resolver autómatas.

 Realizar transformaciones de autómatas.

 Identificar conceptos como expresión regular, estado, transición, finito, determinista,

indeterminista.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
4

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

3y7 Ejercicio 3

ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular

Ejercicio 3

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

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
5

EJERCICIO A
TRABAJAR

Caracterización En este espacio se realiza:

del autómata - Autómata finito determinista

Explicar las características del tipo de autómata

- Es el autómata finito que tiene todas sus
transiciones no vacías y que por cada símbolo
desde un estado de origen se llega a un único
estado destino.
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 Método de eliminación.
Regular paso a
paso -Paso 1 Eliminamos la primera ruta que lleva desde
el inicio del grafo al final quedando así:

-Paso 2 Eliminamos el segundo camino que lleva

desde el inicio del grafo hasta el final.

-Paso 3 Agregamos las llamadas que pueden

hacerse recursivamente en C para terminar en el
mismo estado q0
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
6

Autómata Final La expresión regular calculada es c*(aa+ba)

convertido

Lenguaje
regular

ccaa
ccbaca
ccccaaca
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
7

ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a

Autómatas Finitos No deterministas (AFD a AFND) y viceversa

Ejercicio 3.

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

EJERCICIO A
TRABAJAR

Caracterizació En este espacio se realiza:

n del autómata - No Determinista
- Explicar las características del tipo de autómata: No determinista
porque en el estado q1 con b termina en dos estados q2 y q1.

Alfabeto utilizado es a y b
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
8

Procedimiento Realice de manera detallada el procedimiento paso a paso de la

de conversión conversión del autómata según corresponda y según ejemplo
paso a paso revisado.

- Paso 1… Cerradura: Conversión de AFN a AFD

Estado(Cerradura) a b c
q0 q1 q2 q0
q1 q3 q1,q2 ----
q2 q3 ---- ----
q1,q2 q3 q1,q2 ----
q3 ---- q1 ----

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

convertido
De autómata no determinista a determinista

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

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

En este espacio agregar las imágenes tomadas del simulador

utilizado.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
9
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
10

Conclusión

Existen conceptos en autómatas como por ejemplo alfabetos, cadenas y lenguajes los cuales se

pueden realizar operaciones formales y matemáticas, los cuales pueden permitir cambiar por

ejemplo de un autómata determinista a uno no determinista sin afectar la cadena de letras que puede

recibir y finalizar de la misma forma.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
11

Referencias Bibliográficas