ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR O YA MINIMIZADO:

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

Paso 1: Validacin del lenguajes se crean dos subconjuntos, 1er = Finales aceptacin 2do = No finales

FINALES ACEPTACIONNO FINALESINICIAL

{q0, q1, q4, y q5}{q2, y q3}{q0}

Paso 2: Aplicaremos a los subconjuntos mencionados anteriormente, las transiciones del AFD, para este caso aplicaremos para los subconjuntos la transicin (q3,, q2); (q3,2,q4)

Dos estados son equivalentes, si al intercambiar uno por otro en cualquier configuracin no altera la aceptacin o rechazo de toda palabra.

CONJUNTOS/SUBCONJUNTOSFINALES ACEPTACIONNOFINALESINICIALSIMBOLO Afectacin

Conjunto{q0, q1, q4, y q5}{q2, y q3}{q0}2 y

Sub1 = 2 {q4}

Sub2 = {q2}

Paso 3: Se aslan los subconjuntos 1 y 2; aplicando la transicin correspondiente como muestra la figura anterior, se comporta de manera diferente a los dems estados no finales del subconjunto, esto se identifica los estados q4 y q3.

CONJUNTOS/SUBCONJUNTOSFINALES ACEPTACIONNOFINALESSIMBOLO Afectacin

Conjunto{q0, q1, q4, y q5}{q2, y q3} , {q4, q2}

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

Paso 5: En este paso se elaborara la tabla de transicin y se grafica el nuevo autmata minimizado.

Equivalencia Ordenada de estadosNueva tabla de estados

012

Q0 = q1Q0 = q2Q0 = q2Q2 = q2Q0 = q1

Q0 = q2Q1 = q4Q1 = q2Q2 = q5

Q2 = q5Q2 = q2

Q1 = q2Q4 = 2Q4 = q5

Q1 = q4Q5 = q4Q5 = q5

Q4 = q2

Q4 = q5

Q5 = q4

2. Que transiciones se reemplazan o resultan equivalentes