Está en la página 1de 11

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ACT. 6: TRABAJO COLABORATIVO 1

Asignatura: Autómatas y Lenguajes Formales Tutor: Carlos Alberto Amaya Tarazona Alumno: Agustín Estupiñán García – 3169395 e-mail: agustin_estadistica@hotmail.com CEAD: José Acevedo y Gómez

Grupo: 301405_1 Fecha: 09 de Octubre

MADRID 2012

Lenguajes regulares tienen gran importancia en el diseño de los lenguajes de programación ya que los componentes básicos de un LP constituyen LRs. Los Lenguajes más sencillos son los considerados lenguajes regulares. es decir.. En esta unidad se considera como segundo aspecto la idea de que un lenguaje no sea regular. que se puede generar con otros lenguajes más sencillos mediante operaciones de conjuntos. han tenido que especializarse. los que se pueden generar a partir de lenguajes de un elemento con la aplicación de ciertas operaciones estándar realizadas un número finito de veces. para su aplicación en las ciencia de las computadoras. .INTRODUCCION Uno de los hechos que se destaca en la informática es que las áreas genéricas del conocimiento humano como es la lógica y el álgebra. teoría de grafos. estos pueden describirse como elementos que se generan. extendiéndose en tantas direcciones como la teoría del lenguaje. como cadenas a partir de cadenas sencillas. el no determinismo así como las expresiones regulares y las gramáticas libres de contexto. Estos son pues los lenguajes que pueden reconocer los dispositivos llamados Autómatas finitos (AF) que son máquinas de cómputo con memoria muy restringida. lógica de conjuntos. además de proporcionar un modelo sencillo de computación que se puede generalizar en las unidades siguientes. con el uso de operaciones de cadenas o el desarrollo del lenguaje mismo. de aquí surge el uso de la lógica matemática. entre otros.. o particularizarse para ser utilizados en esta área.

para el desarrollo de situaciones de lenguajes y autómatas presentes. autómatas finitos y sus aplicaciones. Conocer como es el desarrollo aplicación de los lenguajes regulares y los autómatas finitos.OBJETIVO GENERAL  Identificar y analizar la temática de los lenguajes regulares. OBJETIVOS ESPECÍFICOS     Estudiar los conceptos fundamentales de la teoría de autómatas y lenguajes formales. y minimización de autómatas finitos etc. Distinguir los diferentes tipos de lenguajes formales existentes. para la descripción de ellos. Implementar el uso de diagramas de Moore. ..

Son exactamente los aceptados por los autómatas de estado finito. recordaremos ciertas apreciaciones. conceptos o afirmaciones acerca de las Expresiones Regulares. a) b) es una ER que denota el Lenguaje….EJERCICIOS A DESARROLLAR 1. Si tomamos como A un alfabeto. comúnmente denotadas como “ER”.. ( ) * + Para los siguientes ejercicios identifique el lenguaje que reconoce y plasme cinco posibles cadenas válidas que representan esa ER: si c) ( * ( )( )( d) ( * e) ( * f) ( * g) * si h) * i) * j) * * + + * + + * + + * * + + + ) * + ( )+ ) * + ( ) + ) * + ( )+ * ) * )( + )( ) ( )+ + . Para el siguiente ejercicio. Una expresión regular es una forma de representar cierto tipo de lenguajes sobre un determinado alfabeto.. unas posibles expresiones regulares sobre ese alfabeto podrían ser: (identifique que lenguaje reconoce esa ER)…. ( ) es una ER que denota el lenguaje ….

es el conjunto de estados finales. es la función total de transición.k) ( * l) ( * m) * n) * o) ( * * ) * * * ) * ) + ( )+ + ( ) + + + + ( + ) ( + ) ( )+ 2. Partiendo de la definición de que un Autómata Finito Determinístico (AFD) está dado por la quíntupla: ( ) donde: Q es un conjunto de estados. es el alfabeto de entrada. Y para el ejercicio. el autómata acepta las cadenas ( (* + * +) ) : Representado mediante el grafo: EN SIMULADOR (YA SEA JFLAP O VAS) . es el estado inicial.

 Plásmelo en el simulador.  Realice la tabla de transición correspondiente.  Compruebe el lenguaje aceptado. .

*  * + ( ) + Identifique la expresión regular que permite identificar que cadenas son válidas y que acepta el autómata. Justifique sus respuestas. Identifique la expresión regular que permite identificar que cadenas son válidas y que acepta el autómata. El nuevo AFND debe plasmarlo en el simulador.   Identifique los elementos de la tupla a que corresponda ese autómata y descríbalos. que nos muestra que las cadenas van a ser finitas porque parten de un estado inicial. Construya un autómata que reconozca cadenas enmarcadas dentro de la expresión regular: ( ) Tenga en cuenta que debe incluir cadenas vacías del tipo Se recomienda primero realizarlo en papel (graficarlo a mano alzada antes de llevarlo al simulador. Para el siguiente Autómata que acepta el lenguaje: *        * + + Realice las siguientes actividades: Determine si es un AFD ó AFND Encuentre la ER Gráfico en un diagrama de Moore Realice la tabla de transición De cinco (05) ejemplos de cadenas válidas que acepte el autómata Recréelo en el simulador 5. Si no se definiera esta u otra propiedad al autómata posiblemente el lenguaje a reconocer podría ser infinito. El nombre finito lo da la condición o propiedad ( ) .      Conviértalo en un AFND. Acorde al autómata del ejercicio N 2. Justifíquelo y explique de donde surge y por qué se da la característica de No determinístico. 4. . No copie contextos puntuales de los libros o de la web. Analice si la ER y el Lenguaje aceptado es el mismo o no al ejercicio Número 2. Realice el diagrama de Moore en el simulador y plásmelo en el trabajo. La Expresión regular es ( ) que nos permite identificar que las cadenas válidas son todas las )( )( ) conformadas por pares de 01 consecutivos y terminados en 1: ( ) ( 3. explique o justifique de donde proviene el nombre “finito”. Compruebe el lenguaje aceptado. (Sea objetivo y creativo). hace un recorrido para llegar a un estado de aceptación o final terminando de esta manera su ciclo.

Construya un Autómata que acepta el lenguaje de palabras con un número impar de unos.   Construya Tabla de Transición. . Identifique la expresión regular y el lenguaje que representa Plasme la tabla de transición. Justifique por qué en este ejercicio no se solicita identificar el lenguaje que reconoce. Demuéstrelo con al menos cinco cadenas válidas. Construya un Autómata que acepte el siguiente Lenguaje:       Identifique sus componentes (la tupla que es) Constrúyalo en los simuladores. Para el siguiente autómata:       Identifique sus componentes (la tupla que es) Constrúyalo en el simulador Identifique claramente las cadenas y subcadenas válidas y justifíquelas. 6. Identifique y justifique si su diseño de Autómata es AFD ó AFND Cree las tablas de transición Plasme el diagrama de Moore 7. 8.       Identifique sus componentes (la tupla que es) Constrúyalo en los simuladores. Cree las tablas de transición Plasme el diagrama de Moore Escriba la expresión regular que represente. Demuestre tres cadenas válidas y justifíquelas por qué no son válidas comparadas con la expresión regular. Identifique el lenguaje que reconoce. En el simulador demuestre las cadenas de entrada válidas . Plasme en el trabajo los gráficos generados.

9. Identifique la tabla de transición correspondiente. 10. Qué tipo de Autómata es (Justifíquelo). (Demuéstrelo y grafíquelo en el simulador). Identifique la ER y el Lenguaje que acepta Que cadena reconoce. Para el siguiente autómata:       Identifique sus componentes (la tupla que es) Recréelo en los simuladores Realice la tabla de transición. Para el siguiente autómata finito determinista dado por: (* Donde la función ( ( ( (      ) ) ) ) +* * ( ( ( ( ) ) ) ) + * +) + * + * + viene dada por: Plásmelo en los simuladores. . Realice el diagrama de Moore. Verifique el lenguaje aceptado y las cadenas válidas para el autómata. Identifique la expresión regular que lo representa.

CONCLUSIONES .

php/52/ MODULO_2012/301405_Modulo_2012.205/campus12/file. Edgar Alberto (2011.165. 1-157) AUTÓMATAS Y LENGUAJES FORMALES.REFERENCIAS Quiroga Rojas.php . Recuperado el 21 de agosto de 2012 de http://campus.org/mis_cursos/tablero_20122.unadvirtual.175.zip ACT 6 GUIA TRABAJO COLABORATIVO Nº1. Recuperado el 14 de agosto de 2012 de: http://66.