Unidad 2: Fase 2 - Debatir y desarrollar los ejercicios planteados sobre autómatas con pila y gramáticas
Presentado por: Angélica María Callejas Pérez - Código 1.094919658
Tutor JAIME JOSE VALDES
Universidad Nacional Abierta y a Distancia (UNAD) AUTOMATAS Y LENGUAJES FORMALES FORMALES ( 301405_65) Grupo: 65 13 octubre de 2018
EJERCICIOS DE LA FASE 2 ACTIVIDAD INDIVIDUAL De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio asignado en la siguiente tabla:
Último dígito de la Cédula o TI 1y9 2y8 3y7 4y6 5y0
Ejercicio Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5
Angélica María Callejas Pérez-1.094.919.658 ACTIVIDAD 1: Autómatas de Pila 1.
Ejercicio 1
2.
Ejercicio 2
3.
Ejercicio 3
4.
Ejercicio 4
5.
Ejercicio 5
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue la imagen TRABAJAR
Caracterización En este espacio se realiza: del autómata a pila - Mediante la definición formal explicar las características del autómata. Respuesta: De acuerdo a la imagen el autómata es finito determinista porque: según su definición para cada estado en que se encuentre el autómata, y con cualquier símbolo del alfabeto leído, existe siempre no más de una transición posible desde ese estado y con ese símbolo.
-
Realizar un cuadro comparativo de la Equivalencia entre AP por vaciado de pila y AP por estado final
Respuesta: Cuadro Comparativo AP vaciado de pila 1. Siendo
el lenguaje acpetado por P por pila vacía es
Observaciones
Al reconocer por pila vacía, la pila se queda vacía del todo, sin
.
. Antes de diseñar un AP, hay que decir si queremos que acepte por estado final o por pila vacía, pues el AP deberá ser distinto.
AP Por estado Final
Ejemplo , con AP por pila vacía
Realice de manera detallada y grafica el procedimiento paso a paso del recorrido de una cadena (La cadena la selecciona el Procedimiento de paso a paso estudiante, debe contener como mínimo 8 caracteres) en el autómata a pila. Describir cómo funciona el almacenamiento en del recorrido de la pila, como funciona LIFO, etc. una cadena Respuesta: Descripción de la notación matemática del autómata de pila: K (q0,q1) ∑{0,1} T {A,B} S € K = q0 € = Z0
F⊆ = q1 = q0{q1} Además definir que : P= Estado Actual X= Símbolo del alfabeto que se lee en la entrada S= Símbolo que se extrae de la pila Q=Nuevo Estado Y= Símbolo que se inserta en la pila La primera es el carácter de entrada en la pila, el segundo es el que extrae y el tercero es que introduce es decir: a a a b b Alfabeto de entrada A B Alfabeto de la pila el almacenamiento en la pila funciona al mantener un control sobre una cinta de entrada de solo lectura y una de almacenamiento de datos con acceso a tipo pila es decir donde se lee el alfabeto a pila el cual inicia su lectura desde el alfabeto de entrada y va realizando sus lecturas hasta terminar. LIFO funciona de la siguiente manera y es el último en entrar, es el primero en salir, es decir a última información introducida en la memoria es la primera en extraerse, es lo que se llama una pila o apilamiento, Guarda analogía con una pila de platos, en la que los platos van poniéndose uno sobre el otro, y si se quiere sacar uno, se saca primero el último que se puso. Transiciones :
q0 q1
0 q1 q1
= { 0 , 1 }n≥ 1} 0,z,0z
1 q0 ---
0,0;00 ¿Cuál es la gramática? S->0s1 L01
Practicar y verificar lo aprendido
Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo menos cinco cadenas válidas y 5 cadenas rechazadas por el autómata. En este espacio adjunta la imagen.
Cadenas Rechazadas por el autómata :
Cadenas V alidas por el autómata:
Actividad 2 Grupal: Teniendo en cuenta el siguiente autómata realice:
1. Realice el proceso paso a paso la minimización del autómata Para el autómata ya minimizado realice: 2. Realice la notación formal (caracterización) matemática del autómata ya minimizado 3. Identifique El Lenguaje que reconoce. 4. Identifique su gramática (de forma manual) por la derecha y caracterícela. Debe incluir el diagrama de estados con los componentes de la gramática asociados a las variables y a las constantes.
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO A TRABAJAR
Procedimiento de minimización
Realice de manera detallada el procedimiento paso a paso de la minimización del autómata. - Paso 1… - Paso 2… - Paso 3…
Resultado del Autómata minimizado
Agregue aquí la imagen del autómata minimizado
Notación formal
K (q0,q8) ∑{0,8} T {1,0} S € K = q0 € = Z0 F⊆ = q2,q4,q8 = q0{q1} Además definir que : P= Estado Actual X= Símbolo del alfabeto que se lee en la entrada S= Símbolo que se extrae de la pila Q=Nuevo Estado Y= Símbolo que se inserta en la pila P= q0 X= 1 S= 0
Q=1 Y=1
Lenguaje Regular
En este espacio agrega el lenguaje regular del autómata.
Gramática del autómata
En este espacio agrega la gramática del autómata. Identifique su gramática (de forma manual) por la derecha y caracterícela. Debe incluir el diagrama de estados con los componentes de la gramática asociados a las variables y a las constantes.
BIBLIOGRAFIA
Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas Pa ra Informáticos. Recuperado dehttp://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&lang=es&site= eds-live&ebv=EB&ppid=pp_Cover
Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 -124). Recuperado dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=10
Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de autómatas y lenguajes formales. Recuperado dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=6
Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 73-126). Recuperado dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351
