UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CURSO DE AUTOMATAS Y LENGUAJES FORMALES.

Trabajo presentado por:

EDGAR MIGUEL DELGADO
Código: 1,110,562,487
Grupo: 301405_47

Tutor:
RAFAEL PÉREZ HOLGUÍN

4 octubre del 2021.

Ejercicio a
trabajar

Caracterización En este espacio se realiza:

del autómata
- Identificación de la quíntupla del autómata
- Plasme la tabla de transición
- Identificación del Autómata Finito Determinista o Autómata Finito No Determinista
- Explicar las características del tipo de autómata.

- Identificación de la quíntupla del autómata

Σ = {a,b}
Q = {q0,q1,q2}
s = q0
F = q1
δ = función transición

- Plasme la tabla de transición

δ a b
q0 q2 q1
q1 q2, q1 -------------
q2 ---------------- q1

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

Para nuestro caso es un autómata finito NO DETERMINISTA.

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

Un autómata finito no determinista (abreviado AFND) es un autómata finito que, a

diferencia de los autómatas finitos deterministas (AFD), posee al menos un estado q ∈ Q, tal
que para un símbolo a ∈ Σ del alfabeto, existe más de una transición δ(q,a) posible.

En un AFND puede darse cualquiera de estos dos casos:

  Que existan transiciones del tipo δ(q,a)=q1 y δ(q,a)=q2, siendo q1 ≠ q2;
 Que existan transiciones del tipo δ(q, ε), siendo q un estado no-final, o bien un estado
final pero con transiciones hacia otros estados.

Cuando se cumple el segundo caso, se dice que el autómata es un autómata finito no

determinista con transiciones vacías o transiciones ε (abreviado AFND-ε). Estas transiciones
permiten al autómata cambiar de estado sin procesar ningún símbolo de entrada. Considérese
una modificación al modelo del autómata finito para permitirle ninguna, una o más
transiciones de un estado sobre el mismo símbolo de entrada

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

Paso 1. Creamos la tabla de transiciones para la transformación de ER.

δ a b c
q0 q1, q2 -------------- ------------------
q1, q2 ---------------- q0, q1 q2
q0, q1 q1, q2 q0, q1 q2
q2 ---------------- q1 -----------------
q1 ------------------ q0, q1 q2

Paso 2. Trascripción de conversión de estados

Estado "q0": ß0 = b ß1 | a ß2
Estado "q1": ß1 = a ß2 | a ß1 | Ê
Estado "q2": ß2 = b ß1

Aplicamos el lema de Arden...

Estado "q0": ß0 = b ß1 | a ß2
Estado "q1": ß1 = (a*)a ß2 | a*
Estado "q2": ß2 = b ß1

Paso 3. Construimos el autómata en base a la Tabla de transición anterior.

Entonces con q0 nos vamos a q1,q2
 Paso 4. Con q1, q2 nos vamos con b a q0, q1

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

convertido
 Practicar y Prueba con el autómata solución.
verificar lo (b+ab)(a+ab)*
aprendido

Ejercicios 2: Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No

deterministas (AFD a AFND) y viceversa.

Con el ejercicio seleccionado debe diligenciar la siguiente tabla:

Ejercicio a trabajar
Caracterización del En este espacio se realiza: - Identificación de la quíntupla del autómata - Plasme la
autómata tabla de transición - Identificación del Autómata Finito Determinista o Autómata
Finito No Determinista - Explicar las características del tipo de autómata.

- Identificación de la quíntupla del autómata

Σ = {a,b, λ}
Q = {q0,q1,q2}
s = q0
F = q2
δ = función transición

- Plasme la tabla de transición

δ a b λ
q0 q1, q0 Q2, q0 ------------------
q1 ---------------- ------------ q2
q2 ---------------- -------------- -------------------

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

Determinista.

Autómatas Finitos Deterministas (AFD)

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

Esta clase de autómatas admite su definición de 2 modalidades bien diferentes como

autómatas traductores o reconocedores. La definición como autómatas traductores
continua a la definición de las máquinas secuenciales, y se los podría conceptualizar
como una subclase de estas, debido a que los autómatas finitos tendrían como
limitante no poder empezar a partir de cualquier estado como lo elaboran en las
máquinas secuenciales.

Procedimiento de Realice de manera detallada el procedimiento paso a paso de la conversión del

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

Paso 1. Creación de la tabla de transiciones.

δ a b λ
q0 q1, q0 Q2, q0 ------------------
q1 ---------------- ------------ q2
q2 ---------------- -------------- -------------------

Paso 1: El nuevo estado: 0

Paso 2: q0
Paso 3: El nuevo estado: 1
Paso 4: q1, q0
Paso 5: El nuevo estado: 2
Paso 6: q2, q0
Paso 7 : El nuevo estado: 3
Paso 8: q2

Paso 2. Creamos la tabla de transiciones para la transformación de AFND a AFD.

δ a b λ
q0 q1, q0 q2, q0 ------------------
q1, q2 q1, q0 q2, q0 q2
q0, q1 q1, q0 q2, q0 -------------------
q2 ---------------- ------------- -----------------
q1 ------------------ ----------- ---------

Paso 3. Construimos el autómata en base a la Tabla de transición anterior.

Entonces con q0

Con 0 nos vamos con b a q1, q2

Luego desde q0, q1 con a vamos q1, q2 con b estrella de klean q0, q1 y con a
vamos a q2.
 Con q2 vamos a q1 con b y retorna b en q2.

Y por último desde q1 con b vamos a q0, q1 y con c vamos a q2.

Autómata Final
convertido

Validación de cadenas

Practicar y verificar lo
aprendido
 Ejercicio Grupal: Construccion de Automata

ER = (ab*c(cc)*b)

EJERCICIO
A
TRABAJAR

Notacion 5-tupla del autómata (K, Σ, s, δ, F) donde:

formal del
automata K = conjunto finito de estados Σ = alfabeto finito símbolos entrada
minimizado s = estado inicial en K F = conjunto de estados finales de
K
δ = relación de transiciones

 K = {q0, q1, q2, q3, q4, q5, q6}

 Σ = {a, b, c}
 s = {q0}
 F = {q4}

Donde la función δ: {q0, q1, q2, q3, q4, q5, q6} x {a, b, c} → {q0,
q1, q2 q3, q4, q5, q6}

 δ (q0, a) = q1
 δ (q1, b) = q2
 δ (q1, c) = q3
 δ (q2, b) = q2
 δ (q2, c) = q3
 δ (q3, b) = q4
  δ (q3, c) = q5
 δ (q5, c) = q6
 δ (q6, c) = q5
 δ (q6, b) = q4
X = {q4} – Estado Aceptador
Y = {q0, q1, q2, q3, q5, q6} – Estado No Aceptador

a b c
q0 Y Ø Ø
q1 Ø Y Y
q2 Ø Y Y
q3 Ø X Y
q5 Ø Ø Y
q6 Ø X Y

Se crean nuevos conjunto a partir de los estados equivalentes.

D = {q1, q2}
E = {q3, q6}

Se valida la equivalencia de los conjuntos

D a b c
q1 Ø D E
q2 Ø D E

E a b c
q3 Ø X Ø
q6 Ø X Ø

Tabla de Transiciones:

a b c
X Ø Ø Ø
D Ø D E
E Ø X Ø
 Tipo de Autómata Finito Determinista AFD: Los estados en sus
diferentes transiciones solo pueden ir a un solo estado.
Caracterizacio Tupla: es la anotación formal del autómata, que integra estados, el
n del automata alfabeto, la función de transición, el estado inicial y el conjunto de
parte teorica estados.

Estados (K): Es el conjunto de estados o nodos por los que fluye un

autómata, según la cadena que está leyendo o procesando.

Alfabeto (Σ): Son los caracteres que acepta el autómata y que permite
la transición entre estados.

Función de transición (δ): Escribe las transiciones que realiza un

autómata, teniendo en cuenta el estado y el símbolo.

Estado inicial (S): Es el primer estado con el cual inicia su

procesamiento del autómata.

Estado final (F): Es el estado final. Una cadena es aceptada cuando su

último símbolo permite transición hasta un estado final.

Lenguaje (ab*c(cc)*b)
Regular
Validacion de
cadenas
Practicar y Cadena a validar abcccb
verificar lo
aprendido  Estando en el estado inicial q0, comienza a leer la cadena de
entrada.

 Estando en la entrada incial q0, lee el dato de entrada a y

pasa al estado q1.
 Estando en el estado Q1, lee el dato de entrada b y pasa al
estado Q2.

 Estando en el estado Q2, lee el dato de entrada c y pasa al

estado Q3
 Estando en el estado Q3, lee el dato de entrada c y pasa al
estado Q5.

 Estando en el estado Q5, lee el dato de entrada c y pasa al

estado Q6.
 Estando en el estado Q6, lee el dato de entrada b y pasa al
estado final de Q4.
Al terminar de leer la cadena de entrada, y que el autómata quede
en un estado final de aceptación, se puede concluir que la cadena
es válida para el autómata minimizado.
Bibliografía
Luque, F. (2020, 23 marzo). Gramaticas Regulares. Recuperado de
https://www.youtube.com/watch?v=BcAZI87KF98&t=2s

González, A. (16/05/2017). Minimizacion de automatas [Archivo video]. Recuperado de

https://www.youtube.com/watch?v=eOynYG8Ibk0

Amaya, C. (26/09/2013). Cadenas validas en un autómata [Archivo video]. Recuperado de

https://www.youtube.com/watch?v=ASg_ZUXgvZk

Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de
lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 127 - 142). Recuperado
de https://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&lang=e
s&site=ehost-live&ebv=EB&ppid=pp_Cover

González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video].

Recuperado de http://hdl.handle.net/10596/10470

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado
de http://hdl.handle.net/10596/18315