unad - automatas aporte 4 trabajo colaborativo - desarrollo momento 2
DESCRIPTION
UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2TRANSCRIPT
![Page 1: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/1.jpg)
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}
![Page 2: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/2.jpg)
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}
![Page 3: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/3.jpg)
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.
![Page 4: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/4.jpg)
.
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.
![Page 5: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/5.jpg)
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 - -
![Page 6: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/6.jpg)
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).
![Page 7: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/7.jpg)
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.
![Page 8: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/8.jpg)
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
![Page 9: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/9.jpg)
8. Compare la gramática con el autómata antes de minimizar (ya sea por la izquierda o derecha).
![Page 10: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/10.jpg)
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
![Page 11: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/11.jpg)
9. El autómatas nuevo expresarlo o graficarlo con su respectivo diagrama de Moore.
10.Identificar sus tablas de Transición (plasmarlas)
![Page 12: UNAD - AUTOMATAS Aporte 4 Trabajo Colaborativo - Desarrollo Momento 2](https://reader035.vdocuments.net/reader035/viewer/2022081421/55cf8e14550346703b8e4e91/html5/thumbnails/12.jpg)