UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, tecnologa e Ingeniera.

Autmatas y Lenguajes Formales

AUTMATAS Y LENGUALES FORMALES
301405_27




TRABAJO COLABORATIVO 1







PRESENTADO POR
Diana Carolina Ruiz Cardona
C.C. 1.116.131.699






TUTOR
Carlos Alberto Amaya Tarazona











AGOSTO DE 2014
CEAD EJE CAFETERO



UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Escuela de Ciencias Bsicas, tecnologa e Ingeniera.
Autmatas y Lenguajes Formales

INTRODUCCIN
Las Autnomas y Lenguajes Formales son un programa que tiene un ndice bastante
amplio, el cual de la manera como las trataremos a continuacin se nos va a dar ms fcil
para entenderlas y abordar ms eficaz los temas y captulos que tenemos.
En seguida encontrramos unas actividades para desarrollar e interpretar los temas de las
maquinas (autmatas finitos, autmatas a pila y mquinas de Turing) y lenguajes
(expresiones regulares, gramticas independientes del contexto y gramticas generales)
inicialmente.


















UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Escuela de Ciencias Bsicas, tecnologa e Ingeniera.
Autmatas y Lenguajes Formales

OBJETIVOS
Leer y entender el material entregado, donde encontramos de que trata el curso,
cuntas unidades y captulos contiene.

Buscar y emplear las tcticas adecuadas para responder a las actividades
propuestas para de esta manera entregar un trabajo completo.


















UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Escuela de Ciencias Bsicas, tecnologa e Ingeniera.
Mtodos Numricos

ACTIVIDADES



1. Exprese el autmata en notacin matemtica (Tome como referencia,
ejemplo 24 pgina 43 del mdulo). Identifique que tipo de autmata es (AFD o
AFND) y justifique su respuesta. (No se trata de dar el concepto de determinismo)
El autmata es Finito No Determinstico: se puede determinar en dos aspectos
importantes ya que existen transacciones varias y en ocasiones se da en varios
nodos que salen en ms de una flecha.

La expresin matemtica:

La funcin de transicin se funda por:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Escuela de Ciencias Bsicas, tecnologa e Ingeniera.
Mtodos Numricos

2. Identifique los elementos (tupla que es) (Asociadas con los elementos del
autmata del ejercicio propuesto). Debe explicar y describir cada elemento y la
funcin y significado en el autmata. Conceptos y definiciones adicionales.

Autmata M est determinada por

, donde:

.
Es la funcin de transicin, que a partir de un estado y un smbolo del
alfabeto obtienen un nuevo estado

3. Identifique el lenguaje que genera. (no se trata de explicarlo o formularlo en
notacin de una ER)
Debido a lo que he ledo, entiendo que la probabilidad se ve desde

donde llega
a por

luego termina con b en

. Aunque podra llegar directico a

con b. Lo anterior se da porque desde

no hay que llegar a

y
al igual que cuando se inicia en

y termina en

.
4. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique
cada secuencia. (No se trata solo de captura las imgenes, estas deben ser
explicadas en pi de pgina o de lo contrario no tienen validez)









UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Escuela de Ciencias Bsicas, tecnologa e Ingeniera.
Mtodos Numricos

5. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente cinco
similitudes y cinco diferencias que encuentra al realizarlo en los dos simuladores.
(herramientas que ofrezca uno u otro).

Diagrama en JFLAP


Diagrama en VAS


Similitudes
Es fcil y efectivo procesar la simulacin.
Se pueden ubicar tanto curvas como rectas las flechas.

Diferencias
En el diagrama de VAS es un poco ms ligado porque hay que anotarle los nombres
a cada uno, en cuanto en el diagrama de JFLAP se pone iniciando desde q0.
Como lo escrib una diferencia notable es que las flechas que se pueden colocar
curvas y/o rectas pero el diagrama de VAS las genera de forma curva por defecto
mientras que el diagrama de JFLAP las genera rectas.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Escuela de Ciencias Bsicas, tecnologa e Ingeniera.
Mtodos Numricos
BIOGRAFAS

- Modulo
- Unidad 1: Lenguajes Regulares
- http://datateca.unad.edu.co/contenidos/301405/2014-
2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf
- http://www.infor.uva.es/~mluisa/talf/index.html