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.