UNAD AUTOMATAS Aporte 2 Trabajo Colaborativo - Desarrollo Momento 2
-
Upload
isabel-gomez -
Category
Documents
-
view
51 -
download
9
description
Transcript of UNAD AUTOMATAS Aporte 2 Trabajo Colaborativo - Desarrollo Momento 2
1. Enuncie el autmata en notacin matemtica
El siguiente autmata determina como Autmata Finito Determinista; se expresa la notacin matemtica; como el Autmata Finito Determinista, equivale de la notacin 5-tupla y se determina de la siguiente manera,
2. Identifique los componentes del autmata (que tipo de tupla es)
5-tupla
Q = Es un conjunto finito de estados.
= Es un alfabeto finito.
Es el estado inicial
= Es una funcin de transicin.
= Es un conjunto de estados finales o de aceptacin.
Se expresa en la transicin de la siguiente manera
3. Identifique la tabla de transicin correspondiente
4. Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas vlidas que terminen en un estado halt
El lenguaje que genera, el Autmata Finito Determinista, segn las transiciones.
= (q0, q1, q4, q5) estado final
W=1122
= (Q0, W)=Q0, Q1, Q4, Q5
l
CADENAS VALIDAS
CADENAS NO VALIDAS
11
111111
12
2211
1122
2221
1112
2111
1222
212121
1212
222222
5. Encuentre la expresin regular vlida.
Al encontrar la Expresin Regular, se analiza la ruta de destino en este caso es q5, como estado de aceptacin; ahora se identifica los estados de aceptacin q0, q4 y q5; para hallar la expresin regular se tom solo q5 como estado de aceptacin, para dar la ruta de destino.
EXPRESION REGULAR
((0+1+1)1*2+01*2+02(2+11*2))(2+11*2+12(2+11*2))*
6. Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus componentes y como se escriben matemticamente). Justifquela si la convierte a la Izquierda o a la derecha (eso significa que debe hacerla por ambos lados y verificar cual es vlida sustentando el por qu). Plsmela en el simulador y recrela.
La conversin se hace a la izquierda porque es la lineal a la derecha ya que el mismo lenguaje es generado por la siguiente gramtica lnea por la derecha.
Se desarroll en Convert to Grammar
Le damos clic en Export = tomamos la gramtica generada por el simulador, y se analiza las cadenas validas con la expresin gramtica.
Como se observa se establece la digitacin de las cadenas vlidas y no validas, y como se muestra el simulador reconoce las vlidas y no vlidas.
7. Realice el rbol de Derivacin de esa gramtica
Derivacin Izquierda
Derivacin Derecha
Lineales por la derecha = cuando todas las producciones tienen la forma S aB o S a
Derivacin derecha = cadena valida
8. Identifique si ese rbol o gramtica es ambigua o no y plasme las razones de su afirmacin
En este punto se identifica que el rbol o la gramtica NO es ambigua porque es gramtica univoca = solo hay un rbol de derivacin. Est inscrito en la cadena del lenguaje.
9. Si el rbol de transicin es demasiado grande, a su criterio seleccione una regla en la que se detenga por cualquier rama (izquierda o derecha) y plsmelo hasta ah. (es decir seleccione una cadena vlida para este tem).
Regla = (SA)(A1B)(B1B)(B2E)(E)
REGLA
DERIVACION
ARBOL
S
SA
A
A1B
1B
B1B
11B
B2E
112E
E2E
1122E
E
1122