ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II ACT 6.

AUTOMATAS Y LENGUAJES FORMALES

APORTES POR: MAURICIO DAZ GARCA CDULA: 93.378.232 GLORIA MARLEN RAMREZ CAMELO CDIGO 1074556124 ERIKA TATIANA RIAO LEMUS CDIGO: 1058461071

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD CEAD SOGAMOSO

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II INTRODUCCION El siguiente trabajo corresponde al desarrollo del trabajo colaborativo numero 2 del curso de Autmatas y lenguajes formales de la universidad nacional abierta y a distancia UNAD, en el aplicaremos los contenidos temticos que hemos adquirido del estudio de la unidad dos. Al igual el desarrollo del trabajo aqu consolidado hace parte de cada uno de los aportes que se realizaron en las diferentes fechas, acerca de cada uno de los puntos aqu mensionados. Los lenguajes independientes del contexto que tambin se conocen con el nombre de gramticas de contexto libre son un mtodo recursivo sencillo de especificacin de reglas gramaticales con las que se pueden generar cadenas de un lenguaje. Es factible producir de esta manera todos los lenguajes regulares, adems de que existen ejemplos sencillos de gramticas de contexto libre que generan lenguajes no regulares. Las reglas gramaticales de este tipo permiten que la sintaxis tenga variedad y refinamientos mayores que los realizados con lenguajes regulares, en gran medida sirven para especificar la sintaxis de lenguajes de alto nivel y otros lenguajes formales.

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II

OBJETIVO GENERAL: Conocer los modelos de computacin que corresponden a los lenguajes independientes del contexto y su aplicacin.

OBJETIVOS ESPECFICOS: Generalizar los conceptos de autmatas finitos y gramticas regulares. Reconocer el potencial de procesamiento del lenguaje del autmata con los Autmatas de pila.

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II EJERCICIOS A DESARROLLAR: 1. Calcular el autmata mnimo correspondiente al siguiente autmata finito.

ACTIVIDADES DE MINIMIZAR. 1. Enuncie el autmata en notacin matemtica

Se llama autmata No determinstico asociado a M, al autmata: Porque el estado usa un mismo valor para ir a otros estados, esto lo convierte en autmata No determinstico. 2. Identifique los componentes del autmata (que tipo de tupla es) Conjunto de identificadores smbolos de estado Alfabeto de entrada Estado inicial Funcion de transicion Conjunto de estados finales

{q0}

3. Identifique la tabla de transicin correspondiente Cada fila la corresponde a un estado q Q El estado inicial se precede del smbolo Cada estado final se precede del smbolo #

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II Cada columna corresponde a un smbolo de entrada x Se debe identificar la funcin f a b

4. Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas vlidas que terminen en el estado halt El lenguaje que reconoce ser el de todas las posibles cadenas que empiezan por a, b y que terminen en a, b. bajo ciertas condiciones (propiedades) que resultan complejas (ER), por eso es que se reduce o minimiza el autmata 5. Encuentre la expresin regular vlida. El propsito de las ER (que no son ms que simples frmulas) es representar cada una de ellas un lenguaje.

(aa*a(ba*a)*b+bb*aa*a(ba*a)*b)(aa*a(ba*a)*b+bb*aa*a(ba*a)*b)*

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II

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. Plsmela en el simulador y recrela. (Debe quedar documentado en el texto el paso a paso que realizan en el simulador) Las gramticas son mecanismos generadores de lenguajes, es decir, nos dicen cmo podemos obtener o construir palabras de un determinado lenguaje.

Descripcin gramatica Definimos o caracterizamos una gramtica regular como: Un cudruplo (V, , R, S) en donde: V = Es el alfabeto de variables = Es el alfabeto de constantes R = Es el conjunto de reglas, es un subconjunto finito de V x (V U ) S= Es el smbolo inicial y es un elemento de V Estas gramticas regulares son de la forma: Lineales por la derecha.- Cuando todas las producciones tienen la forma A aB o bien A a Lineales por la izquierda.- Cuando todas las producciones tienen la forma A Ba o bien A a (aa*a(ba*a)*b+bb*aa*a(ba*a)*b)(aa*a(ba*a)*b+bb*aa*a(ba*a)*b)*

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II

7. Realice el rbol de Derivacin de esa gramtica Un rbol ordenado y etiquetado es un rbol de derivacin para una gramtica libre de contexto

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II

8. Identifique si ese rbol o gramtica es ambigua o no y plasme las razones de su afirmacin

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II No es ambigua ya que la gramtica libre de contexto tiene un solo rbol de derivacin para una o varias cadenas. Se trata de una gramtica univoca ya que es una gramtica libre de contexto que tiene asociado un solo rbol de derivacin para toda cadena del lenguaje

9. Si el rbol de transicin es demasiado grande, a su criterio seleccione una regla en la que se detenga por cualquier rama (izquierda o derecha) y plsmelo hasta ah. (es decir seleccione una cadena vlida para este tem). Se utilizan la siguiente regla para que se detenga por la rama derecha segn la cadena valida (SaB)( BaD)( DbA))( A) ACTIVIDADES

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II

ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR O YA MINIMIZADO: 10. Explicar el proceso de Minimizacin (que estados se suprimen y porque) Cuando se detecta que dos estados son equivalentes el proceso a seguir es:

ENTRADA: Un ADF M = (Q,,,q0,F) con Q={q0,qn}, ={0,1} SALIDA: ADF minimo M n =(Q*,*,*,q0*,F*)

En el autmata no hay estado inaccesible ya que todos tienen transiciones de entrada.

Esto es cuando dos estados ya no son compatibles, es decir uno es final y el otro no final, se poder deducir que son distinguibles.

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II Construir la tabla T con filas desde q1 hasta qn y columnas desde q0 hasta qn -1, con el objetivo de marca los pares del par final y el otro no.

Para este autmata se detecta que el estado q1 y q3 son equivalentes eliminando el estado q3. 11. Que transiciones se reemplazan o resultan equivalentes

12. Escribir la funcin de transicin del nuevo autmata. = Q x Q : (q1,a)=(q2) : (q1,b)=(q1) : (q2,a)=(q2,q4) : (q2,b)= : (q4,a)=() : (q4,b)=(q2,q5) : (q5,a)=(q2) : (q5,b)=(q1) 13. Identificar la expresin regular (explicarla en la lectura matemtica que se le debe hacer). (b*aa*a(ba*a)*b(aa*a(ba*a)*b)*b)*b*aa*a(ba*a)*b(aa*a(ba*a)*b)* 14. Compruebe una cadena vlida para esa expresin regular.

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II

15. Identificar el lenguaje que reconoce y cinco posibles cadenas vlidas L= {w {0,1}* w= aa*a(ba*a)*b} Cadenas validas

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II

16. Identificar su gramtica. Demustrela para una cadena vlida del autmata.

17. Compare la gramtica con el autmata antes de minimizar (ya sea por la izquierda o derecha).

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II

Como se podr ver por el rbol derivado hacia la derecha, y segn sus gramticas, en la parte derecha se ve la gramtica del autmata minimizado y a la izquierda antes de minimizar, cuando se despliega cada una de sus hojas los estados de despliegue en cada una de sus reglas ya son diferentes pero mantienen el mismo lenguaje aceptado. 18.El autmatas nuevo expresarlo o graficarlo con su respectivo diagrama de Moore.

19.Identificar sus tablas de Transicin (plasmarlas) A {q2} {q2,q4} 0 b {q1} 0 {q2,q5}

Q1 Q2 Q4

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II #q5 {q2} {q1} 20.Plasmar los pasos de minimizacin en el simulador (comprelos con el proceso manual que est explicando) y capturar los procesos en imgenes para ser documentadas en el texto.

En el grafo izquierdo est el autmata antes de minimizar, las flechas azules indican las salidas del estado q3 a eliminar. Luego de eliminar las salidas de le estado q3 se elimina el estado q3, teniendo en cuenta las entradas que se van redirigir al estado equivalente, es decir q1. En el grafo derecho ya est el autmata minimizado y con las entradas redirigidas como lo indican las flechas rojas, hacia q1.