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