Actividad 2 Colaborativo:

Teniendo en cuenta el siguiente autómata realice:

EJERCICIO A
TRABAJAR

Procedimiento Identificación de 5-tuplas (k, Σ, δ,S,F)

de
minimización M = {q0,q1,q2, q3, q4, q5}, {a,b}

δ = {q0,q1}

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

Σ = {a,b}

S = {q0}

F = {q0,q1}

Paso1:Transiciones de estado

δ(q0, a) = q1

δ(q1, a) = q1

δ(q1, b) = q0

δ(q2, a) = q0

δ(q2, b) = q3

δ(q3, a) = q1
δ(q4, a) = q1

δ(q4, b) = q5

δ(q5, a) = q3

δ(q5, b) = q4

Tabla de transición

a b
q0 q1 -
q1 q1 q0
q2 q0 q3
q3 q1 q2
q4 q1 q5
q5 q3 q4

Paso2: Definición de conjuntos

Se identifica dos conjuntos como se detalla a continuación:

X = CONJUNTO ACEPTADORES

Y= CONJUNTO NO ACEPTADORES

X= {q0, q1}

Y={q2, q3, q4, q5}

Paso 3: Evaluar cada conjunto

Evaluación de conjunto de ACEPTADORES.

X a b
q0 x -
q1 x x

Este conjunto está constituido por dos estados ambos finales,

y uno es estado inicial, por lo que se considera equivalente por
poseer estas características similares. Y se obtiene un
conjunto.

X = {q0, q1}

Evaluación de conjunto NO ACEPTADORES conjunto Y

Y={q2, q3, q4, q5}

Y a b
q2 X Y
q3 X Y
q4 X Y
q5 Y Y

Como se puede observar en la tabla anterior, se encontró que

hay transiciones equivalente y no equivalente, por lo que se
crea 2 nuevos conjuntos y se elimina el conjunto Y.

Z = {q2, q3, q4}

W = {q5}

Paso 4: se realiza nuevamente la evaluación de los conjunto

creados Z y W

Z a b
q2 X Z
q3 X Z
q4 X W
Se encontró que hay transiciones equivalente y no equivalente
por lo que se crea nuevos conjuntos. T y R y se elimina el
conjunto Z.

Realizamos nuevamente la tabla de transición para los

conjuntos creados

T = {q2, q3}

R= {q4}

T a b
q2 X T
q3 X T

Como se pudo observar llegamos a la transición equivalente.

Realizamos la tabla de transición del conjunto R

R a b
q4 X W
 Mientras se realiza la tabla de transición para el conjunto W

W a b
q5 T R

Hasta ahora generamos cuatros conjuntos que son:

X = {q0, q1}

T = {q2, q3}

R = {q4}

W = {q5}

Paso 5: Generamos la tabla de transición para los conjunto

obtenidos.

Conjuntos a b
#X X -
T X T
R X W
W T R

Resultado del
Autómata
minimizado

Notación Identificación de la caracterización del autómata minimizado.

formal
Identificación de 5-tuplas (k, Σ, δ,S,F)

M = {X(q0),T(q1),R(q2), W(q3)}, {a, b}

δ = {X(q0),}

K = { X(q0),T(q1),R(q2), W(q3)} Estados

Σ = {a, b} Alfabeto

S = {X(q0),} (Estado inicial/final)

 F = {X(q1),} (Estado final)

Para este autómata el lenguaje regular es:

Lenguaje
Regular L = {an/n≥0}

Por lo tanto el lenguaje regular que reconoce este autómata es

L= a*

Se identifica los estados de la siguientes manera:

Gramática del
 Para X(q0) se asignará la letra S
autómata
 Para T(q1) se asignará la letra B
 Para R(q2) se asignará la letra A
 Para W(q3) se asignará la letra C
Representamos gráficamente los autómatas para mejor
interpretación y análisis, con el objetivo de identificar la
gramática del autómata.

Para el primer estado q0 en este caso S->aS ya que el estado

una vez recibida la letra a se queda en el mismo estado. Y si
observamos este estado no tiene el elemento b como entrada a
otro estado por lo tanto se genera S->  .

Pasando al siguiente estado se genera lo siguiente. B->bB, ya

que cuando el estado recibe una b y se queda en el mismo
estado. Y cuando recibe a se genera B->aS.

En el siguiente estado q2 correspondiente a R, se obtiene A-

>aS y A->bC.

Y finalmente el estado q3 identificado con C, se obtiene C->aB

y C->bA.

De esta forma identificados la gramática

del autómata. Y organizando queda:

S -> aS
S -> 
B -> bB
B -> aS
A -> aS
A -> bC
C -> aB
C -> bA

Comprobación con el simulador.