TRABAJO COLABORATIVO #1

AUTOMATAS Y LENGUAJES FORMALES

TUTOR:

DIEGO FERNANDO MEDINA

PRESENTADO POR:

DIDIER DIAZ
CODIGO: 1.053.786.924

GERMAN GUTIERREZ MENDIVELSO

CODIGO: 1.054252653

GLADYS STELLA LPEZ VARGAS

CODIGO: 1057436233

301405_47

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PROGRAMA INGENIERIA DE SISTEMAS
LA DORADA 2014
 INTRODUCCION

A travs del estudio y de la investigacin podemos decir que los temas de autmatas,
computabilidad e incluso complejidad algortmica, han venido incorporndose de manera
fuerte en el medio de la computacin siendo este muy importante en el desarrollo de todos
los campos de la sociedad. Analizaremos los tipos de autmatas finitos, las expresiones
regulares y las propiedades de los lenguajes regulares, veremos cada uno de los elementos y
restricciones de estos y en que consiste cada uno de ellos.

Los autmatas y lenguajes formales son importantes en mi formacin profesional donde

analizare, estudiare y profundizare los conceptos fundamentales de la teora del diseo y
variables en los autmatas.
1. Exprese el autmata en notacin matemtica. Identifique que tipo
de autmata es (AFD o AFND) y justifique su respuesta. (No se trata de
dar el concepto de determinismo)

(x+ z) xy +( y +( x+ z) xz) yx

Se trata de un Autmata finito determinista ya que cumple que de q0

solo salen valores distintos y en ningn momento se repiten, no existe
ambigedad

2. Identifique los elementos (tupla que es). Debe explicar y describir

cada elemento y la funcin y significado en el autmata.
Conceptos y definiciones adicionales.

={ x , y , z } alfabeto de entrada K= { q 0, q 1,q 2,q 3 } conjunto de estados

q 0=Estado inicial F=q3 Estado final

: {q 0,q 1, q 2, q 3 } x { x , y , z } { q 0, q 1, q 2, q 3 } q 0 { q3 }

( q 0 , x )=q1 , ( q0 , y )=q2 , ( q0 , z )=q 1 ( q 1 , x )=q1 , ( q1 , y )=q 3 , ( q1 , z ) =q2

( q 2 , x )=q3 , ( q2 , y )=q 2 , ( q2 , z ) = ( q 3 , x )= , ( q 3 , y ) = , ( q3 , z ) =

3. Identifique el lenguaje que genera

w { x , y , z }

L=
4. Muestre en el simulador (grficamente) como recorre una cadena
vlida. Explique cada secuencia.
 En q0 se realiza una transicin al ingresar x hacia q1, al ingresar y se
realiza transicin hacia q2 y al ingresar z la transicin es hacia q1.

En q1 se realiza transicin sobre s mismo al ingresar x, cuando lo que se

ingresa es y la transicin se realiza hacia q3 y al ingresar z la
transicin es hacia q1.

En q2 al ingresar x se hace transicin hacia q3, al ingresar y la

transicin es hacia q2. Al ingresar z la transicin no est definida.

La cadena de iniciar por zx, z, x, deben terminar en y o z n indica el

nmero de x o z mnimos o mximos para iniciar

5. Muestre el diagrama de Moore generado en JFLAp y en VAS y comente

que similitudes o diferencias encuentra al realizarlo en los dos
simuladores.(herramientas que ofrezca uno u otro).
 Son herramientas parecidas que realizan el mismo objetivo. La
herramienta JFLAP, permite generar mltiples cadenas de prueba
mientras que en lo que he podido probar de VAS no es as.
6. Identifique el lenguaje que representa: (tenga en cuenta como se plasma
o identifica un lenguaje aceptado: mdulo pgina 47 leccin 10)

(a+ b)b( b+a)b(b+ a)

L={ w {a , b , c } | w=( a ,b )b ( b , a )n }

7. Genere tres cadenas vlidas y dos no vlidas.

Vlidas: aa, aba, abaaba.

No vlidas: aaaba, aab.

8. Plasme las tres cadenas vlidas para cada ER en una tabla (identificando
jerarqua de operadores regulares, identificando colores). Para ello apyese en
el video: http://youtu.be/JZPAHHA2PnE (minuto 14 al 33).

a b

q0 q1 q2

q1 q2 q1
 # q2

9. Identifique en la misma tabla por que las dos cadenas seleccionadas no se

aceptan o en que parte se trunca la jerarqua y orden de los operadores.

a b

q0 q1 Q0

q1 q1 q1

# q2

10. Seleccione una ER (solo una) y exprtela o genere el autmata o el

diagrama de Moore que sea vlido.

EXPRESIONES REGULARES:

- Primera: (a+b)*b(b+a)b(b+a)*.
- Segunda: (0+1)*11(1+0)0(1+10*)*.
- Tercera: 0*1*+(01)*+(11*00*+01).
- Cuarta: Una ER libre (la que desee construir).
- Quinta: la ER de la tabla de transicin del autmata de la Parte 1.

Expresin regular libre.

M = (, K, , q0, F)
= {a,b}
F = {q2}
s = {q0}
K = {q0, q1 , q 2 }

Diagrama de Moore generado en JFLAP.

 BIBLIOGRAFIAS

UNAD, Universidad Nacional Abierta y a Distancia. (2014). Campus Virtual.

Autmatas y Lenguajes Formales. [En lnea]. Disponible:

Informticos y Computacin. Mster en formacin de profesorado de
Secundaria