Vous êtes sur la page 1sur 3
ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR O YA MINIMIZADO: 1. Explicar el proceso de Minimización (que

ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR O YA MINIMIZADO:

1. Explicar el proceso de Minimización (que estados se suprimen y porque). Realice la tabla de estados distinguibles.

Paso 1: Validación del lenguajes “se crean dos subconjuntos, 1er = Finales “aceptación” 2do = No finales

FINALES NO INICIAL “ACEPTACION” FINALES {q0, q1, q4, y q5} {q2, y q3} {q0}
FINALES
NO
INICIAL
“ACEPTACION”
FINALES
{q0, q1, q4, y q5}
{q2, y q3}
{q0}

Paso 2: Aplicaremos a los subconjuntos mencionados anteriormente, las

transiciones del AFD,

para este

transición “ (q3, λ , q2); (q3,2,q4)

caso aplicaremos para los subconjuntos la

Dos estados son equivalentes,

q 4 q3

si

al

intercambiar uno por otro en

cualquier configuración no altera la aceptación o rechazo de toda palabra.

CONJUNTOS/

FINALES

 

NO

INICIAL

SIMBOLO

SUBCONJUNTO

“ACEPTACION”

FINALES

“Afectación”

S

Conjunto

{q0, q1, q4, y q5}

{q2, y

q3}

 

{q0}

Sub1 = 2

 

{q4}

 

2 y

λ

Sub2 =

λ

{q2}

 
 
 
Paso 3: Se aíslan los subconjuntos 1 y 2; aplicando la transición correspondiente como muestra la

Paso 3:

Se

aíslan los

subconjuntos 1 y

2;

aplicando la transición

correspondiente como muestra la figura anterior, se comporta de manera diferente a los demás estados no finales del subconjunto, esto se identifica los estados q4 y q3.

CONJUNTOS/

FINALES

NO

SIMBOLO

SUBCONJUNTOS

“ACEPTACION”

FINALES

 

“Afectación”

Conjunto

{q0, q1, q4, y q5}

{q2, y q3} ,

{q4,

 
 

q2}

 
 

Paso 4: se desarrolla la tabla de transiciones del autómata minimizado en base a los subconjuntos formados. Para los subconjuntos reemplaza la transición por su respectivo representante esto con el fin de eliminar el estado identificado. No se examinó estados que no tiene estados inaccesibles.

Paso 3: Se aíslan los subconjuntos 1 y 2; aplicando la transición correspondiente como muestra la

Paso 5: En este paso se elaborara la tabla de transición y se grafica el nuevo autómata minimizado.

Equivalencia

 

Nueva tabla de estados

 

Ordenada de

 

estados

 

0

1

2

λ

Q0 = q1

Q0 = q2

Q0 = q2

Q2 = q2

Q0 = q1

Q0 = q2

Q1 = q4

Q1 = q2

Q2 = q5

Q2 = q5

Q2 = q2

Q1 = q2

Q4 = 2

Q4 = q5

Q1 = q4

Q5 = q4

Q5 = q5

Q4 = q2

Q4 = q5

Q5 = q4

 
 
2. Que transiciones se reemplazan o resultan equivalentes
  • 2. Que transiciones se reemplazan o resultan equivalentes