AUTOMATAS Y LENGUAJES FORMALES

Fase 1 Debatir y desarrollar los ejercicios planteados sobre lenguajes y

expresiones regulares

Presentado por:
JOHN MAURICIO TEJADA GUTIERREZ Cód. 4520348
LIEVER ROJAS SCARPETA Cód. 1075283152
JAMER DAVID VILORIA JULIO Cód. 1118808074

Presentado a:
Tutor EDGAR ANTONIO CORTES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
ECBTI
2018 – 3
 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 de Ejercicio

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

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
Registre aquí el Ejercicio a trabajar. Por favor agregue la
imagen / Ejercicio No.2

Ejercicio a
Trabajar

En este espacio se realiza:

- Identificación del Autómata Finito Determinista o
Autómata Finito No Determinista
Autómata Finito Determinista (AFD)
q  (q, )
q0 a q1
Caracterización
q0 B q2
del autómata
q1 a q1
q1 B q2

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

Es un Autómata Finito Determinista, ya que desde q0
puedo ir a q1, pero desde q0 también puedo ir a q2, pero
 siempre nos permitirá conocer el siguiente estado.
Realice de manera detallada el procedimiento paso a paso
de la conversión del autómata a expresión regular y según
ejemplo revisado.

- Paso 1. Por medio de eliminación de estado, Eliminamos

q1, ya que no es única salida para llegar a q2. Lo que
equivaldría a:
A estrella de Kleene, + b (Dirección q0 a q2)+ab
(Dirección q0 a q1 y q1 a q2).

Procedimiento de
conversión de
Autómata Finito a
Expresión
Regular paso a
paso
- Paso 2. Por medio de eliminación de estado, eliminamos
a q0

En este espacio se presenta la expresión correspondiente

al autómata trabajado.

Autómata Final
convertido

En este espacio agrega el lenguaje regular

correspondiente a la expresión regular.
Lenguaje regular
ER= a*(b+ab)
Actividad 3:
Teniendo en cuenta los ejercicios desarrollados por los estudiantes el Grupo,
selecciona uno de los autómatas finitos deterministas (AFD). Con base en ese
autómata desarrollan:
1. Describa la forma matemática del autómata,
Es un Autómata Finito Determinista, ya que desde q0 puedo ir a q1, pero
desde q0 también puedo ir a q2, pero siempre nos permitirá conocer el
siguiente estado.
𝑄 = {𝑞0, 𝑞1, 𝑞2} Estados del Autómata.
𝑞0 = Estado Inicial.
Σ = {𝑎, 𝑏} Alfabeto del autómata.
𝐹 = {𝑞3} Estados Final del Autómata.
𝛿 = Transiciones
𝛿(𝑞0, 𝑎) = 𝑞1
𝛿(𝑞0, 𝑏) = 𝑞2
𝛿(𝑞1, 𝑎) = 𝑞1
𝛿(𝑞1, 𝑏) = 𝑞2
𝐴 = (𝑄, Σ, 𝛿, 𝑞0, 𝐹)

2. Plasme la tabla de transición.

Autómata Finito Determinista (AFD)
q  (q, )
q0 a q1
q0 b q2
q1 a q1
q1 b q2

𝛿(𝑞0, 𝑎) = 𝑞1
𝛿(𝑞0, 𝑏) = 𝑞2
𝛿(𝑞1, 𝑎) = 𝑞1
𝛿(𝑞1, 𝑏) = 𝑞2

3. Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe
explicar y describir cada elemento y la función y significado en el
autómata. Conceptos y definiciones adicionales.

El autómata es un autómata finito determinista y se puede definir como una

quíntupla, ya que esta posee cinco elementos: estados, estado inicial, estados
finales, alfabeto, y transiciones.

Estados (Q): son nodos o estaciones de recorrido del autómata.

Estado inicial (q0): Es el estado donde inicia el recorrido del autómata.
Estados Finales (F): Es el estado donde termina y es aceptado el recorrido
del autómata.
Alfabeto (∑): Son los valores o símbolos que le ingresan al autómata para
realizar su recorrido.
 Transiciones (δ): Es el paso a paso, de todos los posibles recorridos que
puede tener el autómata.

4. Muestre en el simulador (gráficamente) como recorre una cadena válida.

Explique cada secuencia. (No se trata solo de captura las imágenes,
estas deben ser explicadas en pié de página o de lo contrario no tienen
validez)

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 u otro).
 REFERENCIAS BIBLIOGRAFICAS

Gonzalez Amarillo, A. M. (01 de Julio de 2018). Lenguaje regular. Obtenido de

http://hdl.handle.net/10596/18315

MonitoresUCaldas. (18 de Actubre de 2013). Convertir un Automata No determinista a

Determinista. Obtenido de Youtobe: https://www.youtube.com/watch?v=6YeeMQPuGeo