UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ACT. 6: TRABAJO COLABORATIVO 1

Asignatura: Autmatas y Lenguajes Formales Tutor: Carlos Alberto Amaya Tarazona Alumno: Agustn Estupin Garca 3169395 e-mail: agustin_estadistica@hotmail.com CEAD: Jos Acevedo y Gmez

Grupo: 301405_1 Fecha: 09 de Octubre

MADRID 2012

INTRODUCCION Uno de los hechos que se destaca en la informtica es que las reas genricas del conocimiento humano como es la lgica y el lgebra, han tenido que especializarse, o particularizarse para ser utilizados en esta rea, de aqu surge el uso de la lgica matemtica, lgica de conjuntos, teora de grafos, entre otros, para su aplicacin en las ciencia de las computadoras., extendindose en tantas direcciones como la teora del lenguaje, el no determinismo as como las expresiones regulares y las gramticas libres de contexto. Lenguajes regulares tienen gran importancia en el diseo de los lenguajes de programacin ya que los componentes bsicos de un LP constituyen LRs., estos pueden describirse como elementos que se generan, como cadenas a partir de cadenas sencillas, con el uso de operaciones de cadenas o el desarrollo del lenguaje mismo, que se puede generar con otros lenguajes ms sencillos mediante operaciones de conjuntos. Los Lenguajes ms sencillos son los considerados lenguajes regulares, es decir, los que se pueden generar a partir de lenguajes de un elemento con la aplicacin de ciertas operaciones estndar realizadas un nmero finito de veces. Estos son pues los lenguajes que pueden reconocer los dispositivos llamados Autmatas finitos (AF) que son mquinas de cmputo con memoria muy restringida. En esta unidad se considera como segundo aspecto la idea de que un lenguaje no sea regular, adems de proporcionar un modelo sencillo de computacin que se puede generalizar en las unidades siguientes.

OBJETIVO GENERAL

Identificar y analizar la temtica de los lenguajes regulares, autmatas finitos y sus aplicaciones.

OBJETIVOS ESPECFICOS

Estudiar los conceptos fundamentales de la teora de autmatas y lenguajes formales, para la descripcin de ellos. Conocer como es el desarrollo aplicacin de los lenguajes regulares y los autmatas finitos. Distinguir los diferentes tipos de lenguajes formales existentes. Implementar el uso de diagramas de Moore, y minimizacin de autmatas finitos etc., para el desarrollo de situaciones de lenguajes y autmatas presentes.

EJERCICIOS A DESARROLLAR 1. Para el siguiente ejercicio, recordaremos ciertas apreciaciones, conceptos o afirmaciones acerca de las Expresiones Regulares, comnmente denotadas como ER. Una expresin regular es una forma de representar cierto tipo de lenguajes sobre un determinado alfabeto. Son exactamente los aceptados por los autmatas de estado finito. Si tomamos como A un alfabeto, unas posibles expresiones regulares sobre ese alfabeto podran ser: (identifique que lenguaje reconoce esa ER). a) b) es una ER que denota el Lenguaje.. ( ) es una ER que denota el lenguaje .. ( ) * +

Para los siguientes ejercicios identifique el lenguaje que reconoce y plasme cinco posibles cadenas vlidas que representan esa ER: si c) ( * ( )( )( d) ( * e) ( * f) ( * g) * si h) * i) * j) * * + + * + + * + + * * + + + ) * + ( )+ ) * + ( ) + ) * + ( )+ * ) * )( + )( ) ( )+ +

k) ( * l) ( * m) * n) * o) ( * * ) * * * ) *

) + ( )+

) +

+ ( + ) (

)+

2. Partiendo de la definicin de que un Autmata Finito Determinstico (AFD) est dado por la quntupla: ( ) donde: Q es un conjunto de estados. es el alfabeto de entrada. es la funcin total de transicin. es el estado inicial. es el conjunto de estados finales. Y para el ejercicio, el autmata acepta las cadenas ( (* + * +) ) :

Representado mediante el grafo:

EN SIMULADOR (YA SEA JFLAP O VAS)

Plsmelo en el simulador.

Realice la tabla de transicin correspondiente.

Compruebe el lenguaje aceptado.

Identifique la expresin regular que permite identificar que cadenas son vlidas y que acepta el autmata.

La Expresin regular es ( ) que nos permite identificar que las cadenas vlidas son todas las )( )( ) conformadas por pares de 01 consecutivos y terminados en 1: ( ) (

3. Acorde al autmata del ejercicio N 2, explique o justifique de donde proviene el nombre finito. (Sea objetivo y creativo). No copie contextos puntuales de los libros o de la web. El nombre finito lo da la condicin o propiedad ( ) , que nos muestra que las cadenas van a ser finitas porque parten de un estado inicial, hace un recorrido para llegar a un estado de aceptacin o final terminando de esta manera su ciclo. Si no se definiera esta u otra propiedad al autmata posiblemente el lenguaje a reconocer podra ser infinito. Convirtalo en un AFND. Justifquelo y explique de donde surge y por qu se da la caracterstica de No determinstico. El nuevo AFND debe plasmarlo en el simulador. Compruebe el lenguaje aceptado. Identifique la expresin regular que permite identificar que cadenas son vlidas y que acepta el autmata. Analice si la ER y el Lenguaje aceptado es el mismo o no al ejercicio Nmero 2. Justifique sus respuestas.

4. Para el siguiente Autmata que acepta el lenguaje: * * + +

Realice las siguientes actividades: Determine si es un AFD AFND Encuentre la ER Grfico en un diagrama de Moore Realice la tabla de transicin De cinco (05) ejemplos de cadenas vlidas que acepte el autmata Recrelo en el simulador

5. Construya un autmata que reconozca cadenas enmarcadas dentro de la expresin regular: ( ) Tenga en cuenta que debe incluir cadenas vacas del tipo Se recomienda primero realizarlo en papel (graficarlo a mano alzada antes de llevarlo al simulador. Identifique los elementos de la tupla a que corresponda ese autmata y descrbalos. Realice el diagrama de Moore en el simulador y plsmelo en el trabajo.

Construya Tabla de Transicin. En el simulador demuestre las cadenas de entrada vlidas . Identifique el lenguaje que reconoce.

6. Construya un Autmata que acepte el siguiente Lenguaje: Identifique sus componentes (la tupla que es) Constryalo en los simuladores. Demustrelo con al menos cinco cadenas vlidas. Demuestre tres cadenas vlidas y justifquelas por qu no son vlidas comparadas con la expresin regular. Identifique y justifique si su diseo de Autmata es AFD AFND Cree las tablas de transicin Plasme el diagrama de Moore

7. Para el siguiente autmata:

Identifique sus componentes (la tupla que es) Constryalo en el simulador Identifique claramente las cadenas y subcadenas vlidas y justifquelas. Plasme en el trabajo los grficos generados. Identifique la expresin regular y el lenguaje que representa Plasme la tabla de transicin.

8. Construya un Autmata que acepta el lenguaje de palabras con un nmero impar de unos. Identifique sus componentes (la tupla que es) Constryalo en los simuladores. Cree las tablas de transicin Plasme el diagrama de Moore Escriba la expresin regular que represente. Justifique por qu en este ejercicio no se solicita identificar el lenguaje que reconoce.

9. Para el siguiente autmata finito determinista dado por: (* Donde la funcin ( ( ( ( ) ) ) ) +* * ( ( ( ( ) ) ) ) + * +) + * + * + viene dada por:

Plsmelo en los simuladores. Realice el diagrama de Moore. Identifique la tabla de transicin correspondiente. Verifique el lenguaje aceptado y las cadenas vlidas para el autmata. Identifique la expresin regular que lo representa.

10. Para el siguiente autmata:

Identifique sus componentes (la tupla que es) Recrelo en los simuladores Realice la tabla de transicin. Qu tipo de Autmata es (Justifquelo). Identifique la ER y el Lenguaje que acepta Que cadena reconoce. (Demustrelo y grafquelo en el simulador).

CONCLUSIONES

REFERENCIAS

Quiroga Rojas, Edgar Alberto (2011, 1-157) AUTMATAS Y LENGUAJES FORMALES. Recuperado el 14 de agosto de 2012 de: http://66.165.175.205/campus12/file.php/52/ MODULO_2012/301405_Modulo_2012.zip ACT 6 GUIA TRABAJO COLABORATIVO N1. Recuperado el 21 de agosto de 2012 de http://campus.unadvirtual.org/mis_cursos/tablero_20122.php