Consolidación Del Aprendizaje: Integrantes Ssss FFFF Eeee Grupo 312345 - 80

Consolidación del aprendizaje
Integrantes
SSSS FFFF EEEE
Grupo 312345_80
UNAD
AUTOMATAS Y LENGUAJES FORMALES
Diciembre 2000
DESARROLLO DE LA ACTIVIDAD INDIVIDUAL
Ejercicio 1
Realizar la conversión de AFD a AFND o de AFND a AFD según corresponda.
EJERCICIO A
TRABAJAR
Caracterización del En este espacio se realiza:

autómata
En este espacio se realiza:
- Identificación de la quíntupla del autómata
5-tupla (𝑲, 𝜮, 𝜹, 𝒔, 𝑭)
{𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5},

𝐌: Alfabeto de entrada. ( )
{𝑎, 𝑏}, 𝛿, 𝑞0, {𝑞4, 𝑞5}
𝐊: Conjunto finito de estados. {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4}

𝚺: Alfabeto finito simbolos de {a, b}
entrada
𝐬: Estado inicial 𝑞0
𝐅: Estado final 𝑞4, 𝑞5
𝜹: {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4} × {a, b}
→ {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4}
𝛅: Relación de transiciones.
𝛿(𝑞0, 𝑎) = 𝑞1
𝛿(𝑞0, 𝑏) = 𝑞2
𝛿(𝑞1, 𝑏) = 𝑞4
𝛿(𝑞1, 𝑎) = 𝑞2
𝛿(𝑞2, 𝑎) = 𝑞2
𝛿(𝑞2, 𝑏) = 𝑞3
𝛿(𝑞3, 𝑎) = 𝑞5
𝛿(𝑞3, 𝑎) = 𝑞2
𝛿(𝑞3, 𝑏) = 𝑞1
𝛿(𝑞4, 𝑎) = 𝑞1
𝛿(𝑞4, 𝑏) = 𝑞3
𝛿(𝑞5, 𝑏) = 𝑞4
Procedimiento Tabla de transición

de conversión
paso a paso Conversión por ℇ cerradura
Se realiza la unión del conjunto de las transiciones con el conjunto de
transiciones vacías que lo afectan.
Se realiza entonces para el primer ejemplo, el conjunto a, que involucra al
estado inicial y a sus transiciones con el símbolo a y b.
Adicionalmente, se realiza la validación si ese ese estado tiene transiciones
vacías hacia otro y se realiza la unión de los conjuntos, esto para cada
columna de la tabla.
Por ejemplo, se valida si 0 tiene transiciones vacías y se realiza la unión, se
valida si 1, tiene transiciones vacías y si 2 tiene transiciones vacías.
En el caso de el conjunto E, el estado 3, tiene transiciones vacías hacia el
estado 4, por lo cual se unen, y en las próximas transiciones se validan tanto
el estado 3 y el 4 debido a la unión que poseen, posteriormente, se realiza la
validación de las transiciones vacías, de los estados resultantes en el nuevo
conjunto con los demás estados del autómata.
a b
𝐴 = {0} ∪ { } 𝐵 = {1} ∪ { } 𝐶 = {2} ∪ { }
𝐵 = {1} ∪ { } 𝐶 = {2} ∪ { } 𝐷 = {4} ∪ { }
𝐶 = {2} ∪ { } 𝐶 = {2} ∪ { } 𝐸 = {3} ∪ {4}
𝐷 = {4} ∪ { } 𝐵 = {1} ∪ { } 𝐸 = {3} ∪ {4}

𝐸 = {3} ∪ {4} 𝐹 = {1,2,5} ∪ {3} 𝐺 = {1,3} ∪ {4}
𝐹 = {2,5,1} ∪ {3} 𝐹 = {1,2,5} ∪ {3} 𝐻 = {1,3,4} ∪ {4}
𝐺 = {1,3} ∪ {4} 𝐹 = {1,2,5} ∪ {3} 𝐻 = {1,3,4} ∪ {4}
𝐻 = {1,3,4} ∪ {4} 𝐹 = {1,2,5} ∪ {3} 𝐻 = {1,3,4} ∪ {4}
Nota: En caso de que un conjunto sea igual a uno ya encontrado, se nombra
de la misma forma.
Se organiza para tener una mayor legibilidad de los estados y sus
relaciones:
El estado inicial se define por el conjunto que contiene al estado inicial,
debido a que es el estado inicial del autómata original.
Adicionalmente, los estados finales se seleccionan, teniendo en cuenta los
conjuntos que contienen a los estados q4 y q5, los cuales son los
estados finales en el autómata original.
a b
→𝐴 𝐵 𝐶
𝐵 𝐶 𝐷
𝐶 𝐶 𝐸
𝐷 𝐵 𝐸
#𝐸 𝐹 𝐺
#𝐹 𝐹 𝐻
#𝐺 𝐹 𝐻
#𝐻 𝐹 𝐻
Teniendo aquí, la relación de los estados y sus transiciones hacia los otros
estados.
Autómata Final
convertido
Ejercicio 2: Realice la minimización paso a paso del autómata finito
determinista.
• Con el resultado del autómata del ejercicio 1, realice el proceso paso a paso
de la minimización del autómata
• Gráfica del autómata final minimizado
• Realice la caracterización de ese autómata
Imagen del resultado del automata
Identificación de la quíntupla del autómata:

5-tupla (K,Σ,δ,s,F)
M = Estados que conforma el automata {A, B, C, D, E, F, G, H},
{a, b}
δ = A, {E, F, G, H}
K = {A, B, C, D, E, F, G, H} (estados)
Σ = {a, b}(alfabeto)
S = A (estado inicial)
F = {E, F, G, H} (estado final)
Tabla de transiciones.
𝛿(𝐴, 𝑎) = 𝐵 𝛿(𝐷, 𝑎) = 𝐵 𝛿(𝐺, 𝑎) = 𝐹
𝛿(𝐴, 𝑏) = 𝐶 𝛿(𝐷, 𝑏) = 𝐸 𝛿(𝐺, 𝑏) = 𝐻
𝛿(𝐵, 𝑎) = 𝐶 𝛿(𝐸, 𝑎) = 𝐹 𝛿(𝐻, 𝑎) = 𝐹
𝛿(𝐵, 𝑏) = 𝐷 𝛿(𝐸, 𝑏) = 𝐺 𝛿(𝐻, 𝑏) = 𝐻
𝛿(𝐶, 𝑎) = 𝐶 𝛿(𝐹, 𝑎) = 𝐹
𝛿(𝐶, 𝑏) = 𝐸 𝛿(𝐹, 𝑏) = 𝐻
X = {E, F, G, H} Aceptadores
Y = {A, B, C, D} No Aceptadores
REFERENCIAS BIBLIOGRÁFICAS.
González, A. [Angela María Gonzalez Amarillo]. (2016). Conversión de AFN a AFD con
transiciones vacías [archivo de video]. Recuperado de
https://www.youtube.com/watch?v=NF47BSorRfU
González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/10470

Consolidación Del Aprendizaje: Integrantes Ssss FFFF Eeee Grupo 312345 - 80

Cargado por

Consolidación Del Aprendizaje: Integrantes Ssss FFFF Eeee Grupo 312345 - 80

Cargado por

Consolidación del aprendizaje

Caracterización del En este espacio se realiza:

{𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5},

𝐊: Conjunto finito de estados. {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4}

Procedimiento Tabla de transición

𝐵 = {1} ∪ { } 𝐶 = {2} ∪ { } 𝐷 = {4} ∪ { }

𝐶 = {2} ∪ { } 𝐶 = {2} ∪ { } 𝐸 = {3} ∪ {4}

𝐷 = {4} ∪ { } 𝐵 = {1} ∪ { } 𝐸 = {3} ∪ {4}

Imagen del resultado del automata

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

𝛿(𝐴, 𝑎) = 𝐵 𝛿(𝐷, 𝑎) = 𝐵 𝛿(𝐺, 𝑎) = 𝐹

𝛿(𝐴, 𝑏) = 𝐶 𝛿(𝐷, 𝑏) = 𝐸 𝛿(𝐺, 𝑏) = 𝐻

𝛿(𝐵, 𝑎) = 𝐶 𝛿(𝐸, 𝑎) = 𝐹 𝛿(𝐻, 𝑎) = 𝐹

𝛿(𝐵, 𝑏) = 𝐷 𝛿(𝐸, 𝑏) = 𝐺 𝛿(𝐻, 𝑏) = 𝐻

También podría gustarte