Upload
isabel-gomez
View
106
Download
12
Embed Size (px)
DESCRIPTION
UNAD - AUTOMATAS Aporte Trabajo Colaborativo - Desarrollo Momento 2
Citation preview
APORTE TRABAJO COLABORATIVOAUTOMATAS Y LENGUAJES FORMALES
DESARROLLO MOMENTO 2
ESTUDIANTEISABEL CRISTINA GMEZCDIGO: 24336954
Grupo: 301405_33
ESCUELA DE CIENCIAS BASICAS TECNOLOGICAS E INGENIERIAECBTICEAD LA DORADA - UNADABRIL 2015
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-tuplaQ = 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 finalW=1122= (Q0, W)=Q0, Q1, Q4, Q5l
CADENAS VALIDASCADENAS NO VALIDAS
11111111
122211
11222221
11122111
1222212121
1212222222
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.