UNIDAD 2: FASE 3

MODELAR PROBLEMAS DE LENGUAJES INDEPENDIENTES DEL CONTEXTO

PRESENTADO POR

DANIELA CAROLINA CARRENO

YESSID ARAMIS CACERES

GRUPO:

301405_23

PRESENTADO A:

ROLANDO JUNCO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

2019
EJERCICIO A
TRABAJAR

Procedimiento de Realice de manera detallada el procedimiento paso a paso

minimización de la minimización del autómata.

Paso 1:

Procedemos a sacar la Quíntupla del Autómata representado

Quíntupla:

Estados que conforman el autómata

M= {q0, q1, q2, q3, q4, q5}, {a, b}, δ, q0, {q4, q3}

Estados
K= {q0, q1, q2, q3, q4, q5}

Alfabeto
Σ {a,b}

Estado Inicial

s= q0

Estado Final
F = q3, q4
Paso 2:

Se definen las diferentes transiciones que contiene cada

estado representado en la siguiente tabla.

Tabla de Transiciones:

δ q0, a q1
δ q0,b q5
δ q1, a q4
δ q2, b q3
δ q2, a q0
δ q3, b q4
δ q3, a q2
δ q4, b q1
δ q5, a q4
δ q5, b q5

Paso 3.

Luego se hallan los estados aceptadores y los nos aceptadores

que contiene nuestro autómata

Eliminación de estados:

Estados aceptadores:

X= {q3 y q4}

Estados no aceptadores:

Y= {q0, q1, q2, q5}

 Paso 4.

Se definen a que conjunto va dirigido cada estado al realizar

su transición

Conjuntos de X

a b
q3 y x
q4 y

Conjuntos de Y

a b
q0 y y
q1 x
q2 y x
q5 x y

Paso 5.

Ninguno de los conjuntos es equivalentes, pero como los

estados q3, q2 son irrelevantes para el autómata, ya que no
existe manera de llegar a ellos desde el estado inicial, se
eliminan estos estados.

Resultado del Agregue aquí la imagen del autómata minimizado

Autómata
minimizado
Notación formal En este espacio agrega la notación formal del autómata.

 Lenguaje En este espacio agrega el lenguaje regular del autómata.

Regular
Sea L1= {ab} U {ab} y L2 ={b}* = {b i/i=0},

por lo tanto, L = L1 U L2

se especifica de la siguiente manera:

L= {uv/ u∈L1, v∈L2}

L= {ab i/i =0}

 Gramática del En este espacio agrega la gramática del autómata. Identifique

autómata su gramática (de forma manual) por la derecha y
caracterícela. Debe incluir el diagrama de estados con los
componentes de la gramática asociados a las variables y a las
constantes.