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 ( 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 Ejercicio

Cédula o TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 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 AP Por estado Final
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.
Ejemplo

, con AP por pila vacía

Procedimiento Realice de manera detallada y grafica el procedimiento paso a paso del recorrido de una cadena (La cadena la selecciona el
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
𝑧0 € 𝑇 = 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 :

0 1
q0 q1 q0
q1 q1 ---

𝐿 = {0𝑛 , 1𝑛 }n≥ 1}

0,z,0z
 0,0;00

¿Cuál es la gramática?

S->0s1 L01

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo menos cinco cadenas válidas y 5 cadenas rechazadas
verificar lo por el autómata. En este espacio adjunta la imagen.
aprendido
Cadenas Rechazadas por el autómata :

Cadenas Validas 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 Realice de manera detallada el procedimiento paso a paso de la

minimización minimización del autómata.

- Paso 1…
- Paso 2…
- Paso 3…

Resultado del Agregue aquí la imagen del autómata minimizado

Autómata
minimizado

Notación formal K (q0,q8)

∑{0,8}
T {1,0}
S € K = q0
𝑧0 € 𝑇 = 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 En este espacio agrega la gramática del autómata. Identifique su

autómata 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 Para
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