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: Se realiza análisis a los estados, y este a su vez se crea subconjuntos.

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

Paso 2: Se emplea a los subconjuntos fundados, las transacciones del AFD en este proceso afectaremos las transacciones de los subconjuntos. Transacción = 2 y 1

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.

Paso 3: Se apartan del subconjunto los estados de un subconjunto que al aplicarle la transición se establece igual comportamiento a los demás subconjuntos, se elimina la transición (q3, 2) q4, q5 en el subconjunto de finales y para los no finales se establece de igual forma.

Repetimos el paso dos:

Símbolo Finales No Finales{q0, q1, q4 y q5} {q2 y q3}

2 {q4}

Símbolo Finales No Finales{q0, q1, q4 y q5} {q2 y q3} {q4}

Paso 2: Se emplea a los subconjuntos fundados, las transacciones del AFD en este proceso afectaremos las transacciones de los subconjuntos. Transacción = λ

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.

Repetimos el paso tres:

Paso 3: Se apartan del subconjunto los estados de un subconjunto que al aplicarle la transición se establece igual comportamiento a los demás subconjuntos, se elimina la transición (q3, λ ) q2en el subconjunto de finales y para los no finales se establece de igual forma.

Paso 4: Elaboración de la tabla de transición del autómata, en base a los subconjuntos formados. Para los subconjuntos que sufrieron sus respectivas transiciones con su representativo estado. Ahora se identifica el reemplazo de las transiciones que sufrieron efecto.

Autómata /No Finales

Autómata /Finales

Eliminación de estados / transiciones

Nuevo /Observación

Se eliminó el estado q3, en

Símbolo Finales No Finales{q0, q1, q4 y q5} {q5} {q2 y q3}

λ {q2}

Símbolo Finales No Finales{q0, q1, q4 y q5} {q2 y q3} {q2, q4}

Q0 Q2 (q3, 2) q4 este caso se eliminó = 2;

Q1 Q3 (q3, λ) q2 Se eliminó el estado q3 en este caso = λ

Q4Q5

NUEVOS

Q0 Q2 (Q1, 0) q4

Se toma la transición de entrada = (Q1,0) Q3, debido que se eliminó = (Q3, 2) q4; y se reemplaza por = (Q1, 0) Q4Las flechas que llegan al estado eliminado son redirigidas hacia su estado equivalente.

Q1 (Q5, 1) q4

Se toma la transición de entrada (Q5, 1) Q3, debido que se eliminó = (Q3, λ)Q2; se reemplaza por = (Q5, λ ) Q4.Las flechas que llegan al estado eliminado son redirigidas hacia su estado equivalente.

Q4Q5

Paso 5: En este punto se elabora la tabla de transición y se grafica el nuevo autómata minimizado. Para realizar la tabla de transición de nuestro minimizado se asignaran los nuevos estados de acuerdo al paso 4.

.

2. Que transiciones se reemplazan o resultan equivalentes

Tabla de transición antes

Transiciones equivalentes = Eliminación de transicionesLas flechas que salen del estado eliminado son eliminadas.

Transiciones equivalentes = Redirección de transiciones del estado eliminado

Las flechas que llegan al estado eliminado son redirigidas hacia su estado equivalente.

0 1 2 λQ0 - - - -Q1 - - - -Q2 - - - -Q3 - - Q4 Q2Q4 - - - -Q5 - - - -

0 1 2 λQ0 - - - -Q1 Q4 - - -Q2 - - -

- - - -Q4 - - -Q5 - Q4 - -

3. Escribir la función de transición del nuevo autómata.

σ=Q x Σ⟶Q

4. Identificar la expresión regular (explicarla en la lectura matemática que se le debe hacer).

La expresión regular para el autómata minimizado

((0+1+1)1*2+0(2+11*2))(2+1(2+11*2))*

5. Compruebe una cadena válida para esa expresión regular.

La cadena válida para este punto es 1122, como veníamos trabajando en los puntos anteriores.

6. Identificar el lenguaje que reconoce y cinco posibles cadenas válidas

Cadenas Validas Cadenas No Validas1122 22111212 22211112 211112 21212102 222222021212

7. Identificar su gramática. Demuéstrela para una cadena válida del autómata.

Gramática Gramática con cadena valida

8. Compare la gramática con el autómata antes de minimizar (ya sea por la izquierda o derecha).

Derivación izquierda

Derivación Derecha

Derivación de línea derecha = Lineales por la derecha = cuando todas las producciones tienen la forma A aB o A a

9. El autómatas nuevo expresarlo o graficarlo con su respectivo diagrama de Moore.

10.Identificar sus tablas de Transición (plasmarlas)