APORTE TRABAJO COLABORATIVO

AUTOMATAS Y LENGUAJES FORMALES

DESARROLLO MOMENTO 2

ESTUDIANTE
ISABEL CRISTINA GMEZ
CDIGO: 24336954
Grupo: 301405_33

ESCUELA DE CIENCIAS BASICAS TECNOLOGICAS E

INGENIERIA
ECBTI
CEAD LA DORADA - UNAD
ABRIL 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
0
y se determina de la siguiente manera, M =( K ,, q , , F)

2. Identifique los componentes del autmata (que tipo

de tupla es)
5-tupla

M Finito : M =(k , , q 0 , , F)

Q = Es un conjunto finito de estados.

= Es un alfabeto finito.
q 0 Q= Es el estado inicial

= Es una funcin de transicin.

F = Es un conjunto de estados finales o de aceptacin.

K=(q 0, q 1, q 2, q 3, q 4, q 5)
=(0, 1, 2)

q 0=q 0 Estado Inicial

F=(q 0, q 1,q 4, q 5)

Se expresa en la transicin de la siguiente manera

=( q 0, q 1, q 2, q 3, q 4, q 5 ) x ( 0, 1,2 ) ( q 0, q 1, q 2, q 3, q 4, q 5 ) q 0 (q 0, q 1, q 4, q 5)

3. Identifique la tabla de transicin correspondiente

( q 0 , ) =q 1

( q 0, 0 )=q 2
( q 0, 1 )=q 2

( q 1,1 )=q 2
( q 1,0 ) =q 3

( q 2, 1 )=q 2
( q 2 , 2 )=q 5

( q 3, )=q 2
( q 3 , 2 )=q 4

( q 4 , 1 )=q 2

( q 4 , 2 )=q 5
( q 5 , 1 )=q 3

( q 5 , 2 )=q 5

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
A ( 1,0 )
L= l

A=1,01

CADENAS VALIDAS
11
12
1122
1112
1222
1212

CADENAS NO VALIDAS
111111
2211
2221
2111
212121
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.