AUTOMATAS Y LENGUAJES FORMALES

Tarea 3 - Ejercicio grupal minimización de autómatas

Presentado por.

Luis Antonio Navarro Cadena

Maria Paula Hernandez Garzon

No. Grupo: 301405_44

Tutor.

JAVIER ANTONIO BALLESTEROS RICAURTE

Universidad Nacional Abierta y a Distancia - UNAD

Ingeniería de Sistemas

Colombia

2022
 Desarrollo del ejercicio

Ejercicio Grupal: Minimización de autómatas

Teniendo en cuenta la siguiente tabla de transiciones cree el autómata y realice el proceso de

minimización paso a paso.

Deben diligenciar la siguiente información:

EJERCICIO A
TRABAJAR

Procedimiento de ● Paso 1 – transiciones

minimización
δ(q0,a) = q1
δ(q0,b) = q2
δ(q1,a) = q3
δ(q1,b) = q5
δ(q2,a) = q6
δ(q2,b) = q4
δ(q3,a) = q3
δ(q3,b) = q5
δ(q4,a) = q6
δ(q4,b) = q4
δ(q5,a) = q6
δ(q5,b) = q4
δ(q6,a) = q3
δ(q6,b) = q5

Eliminación de Conjuntos
● Paso 2 – Hallar 2 Conjuntos
Conjunto estado aceptador: X = {q6}
Conjunto estado no aceptador: Y = {q0, q1, q2, q3, q4, q5}

● Paso 3 – Hallar las transiciones conjunto x

a b

q6 Y Y

● Paso 3 – Hallar las transiciones conjunto y

a b

q0 Y Y

q1 Y Y

q2 X Y
 q3 Y Y

q4 X Y

q5 X Y

● Paso 4 - Identificar los estados equivalentes

q0, q1, q3 son equivalentes
q2, q4, q5 son equivalentes

● Paso 5 – Generar nuevos conjuntos

X = {q6}
M = {q0, q1, q3}
N = {q2, q4, q5}

● Paso 6 – Validar Conjuntos

validar conjunto M
a b

q0 M N

q1 M N

q3 M N

validar conjunto N
a b

q2 X N

q4 X N

q5 X N
 validar conjunto X
a b

q6 M N

q0, q1, q3 son equivalentes

q2, q4, q5 son equivalentes

● Paso 7 – Tabla de transición

a b

M M N

N X N

X M N

Resultado del Autómata

minimizado

Notación formal del Notación del formal del autómata:

autómata minimizado
 automata=({M , N , X },{a , b }, δ , M ,{ X })

Quíntupla del autómata:

(𝑄, Ʃ, δ, s, 𝐹) donde:

Q={M , N , X }

Ʃ={a . b }

s= M

𝐹=X

δ =Dadala función {M , N , X }x {a ,b }→{M , N , X }

Tabla de transiciones :

δ a b
M M N
N X N
X M N

Caracterización del Características:

autómata parte teórica
 𝐴 = (𝑄, Ʃ, δ, 𝑞0, 𝐹)

● Estados: Q {M, N y X}

● Conjunto Alfabético: Ʃ {a y b}

● Estado inicial: M

● Conjunto de estados finales: F{X}

● Función de transición δ: Transiciones realizadas en la tabla de

transiciones.

δ (M , a)=M

δ ( M ,b)=N

δ (N , a)=X

δ (N , b)=N

δ ( X , a)=M

δ (X , b)=N

Lenguaje Regular
Gramática del autómata
Validación de cadenas
Practicar y verificar lo
aprendido