Tarea 3 Construcción de Autómatas de Pila

Anyi Andrea Murcia Prada

Código 1014256918

Tutor:

Edgar Antonio Cortez

Universidad Nacional Abierta y a Distancia

José Acevedo y Gómez
Bogotá
2020
EJERCICIO A
TRABAJAR

CARACTERIZAC En este espacio se realiza:

IÓN DEL
AUTÓMATA A Mediante la definición formal explicar las características del
PILA autómata, identificación de la séptupla.

AUTOMATA DE PILA: Es un modelo matemático de un

sistema que recibe una cadena constituida por símbolos de
un alfabeto y determina si esa cadena pertenece al lenguaje
que el autómata reconoce.
Identificación de la Séptupla:

∑: es el alfabeto de entrada ∑ = {0,1,λ}

r: es el alfabeto de pila r = {λ,a,X}
Q: es el conjunto de estados Q = {q0,q1,q2}
A0 ∈ r: es un símbolo especial de A0 = { λ }
pila
qo ∈ Q: es el estado inicial del qo ∈ Q = {q0}
autómata
F C Q: es el conjunto de estados F C Q = {q2}
finales
f: es una aplicación denominada σ = (q0, 0, λ), (q0,a)
función de transición de ternas σ = (q0, 1, a), (q1, λ)
σ = (q1, 1, a), (q1, λ)
σ = (q1, λ, Z), (q2, X)

Realizar un cuadro comparativo de la Equivalencia entre AP

por vaciado de pila y AP por estado final:
AP POR VACIADO DE AP POR ESTADO FINAL
PILA
Es aceptada la cadena si La cadena es aceptada
cuando llega al final el cuando está vacía la pila y
autómata está en no quedan caracteres en la
aceptación no teniendo en cadena de entrada sin tener
cuenta si hay elementos en cuenta el estado en el
aun en la pila. que este el autómata.
PROCEDIMIENT Realice de manera detallada y grafica el procedimiento paso
O DE PASO A a paso del recorrido de una cadena (La cadena la
PASO DEL selecciona el estudiante, debe contener como mínimo 5
RECORRIDO DE caracteres) en el autómata a pila. Describir cómo funciona
UNA CADENA el almacenamiento en la pila, como funciona LIFO, etc.

PASO 1: estando en el estado q0 se lee en la cinta el

carácter 0, no se desapila nada y apilamos a, regresando al
estado q0.

PASO 2: estando en el estado q0 se lee en la cinta el

carácter 0 nuevamente, no se desapila nada y apilamos a,
regresando al estado q0. Esto se realiza con el fin de que
para los siguientes pasos se pueda desapilar.

PASO 3: estando en el estado q0 se lee la cinta el carácter

1 desapilando a y apilando nada quedando en el estado q1.
 PASO 4: estando en el estado q1 se lee la cinta el carácter
1 desapilando a y apilando nada quedando en el estado q1.

PASO 5: estando en el estado q1 no se lee nada en la cinta

se desapila Z y se apila X quedando en estado q2 final.

PRACTICAR Y Apoyándose en el simulador JFlap (Anexo 1 - JFLAP) o

VERIFICAR LO VAS (Anexo 2- VAS) ejecutar y validar por lo menos cinco
APRENDIDO cadenas válidas y 5 cadenas rechazadas por el autómata.
En este espacio adjunta la imagen.
 LENGUAJE 0𝑛 1𝑛 |x ≥ 1
REGULAR

Ejercicios 2: Gramática del autómata

El estudiante realiza paso a paso la gramática del autómata que seleccionó.
Identifique su gramática (de forma manual) por la derecha o izquierda y la
caracteriza. Debe incluir el diagrama de estados con los componentes de la
gramática asociados a las variables y a las constantes.

 Se valida que q0 genera 0 a q0 o 1 a q1 quedando:

q0  0q0 | 1q1
 Luego se valida que q1 genera 1 a q1 o nada a q2 quedando
q1  1q1 | λ q2
 Por último se valida que q2 es el final y queda de la siguiente manera:
q2  λ
 REFERENCIAS BIBLIOGRAFICA
Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de
lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 11 - 80).
Recuperado de https://bibliotecavirtual.unad.edu.co/login?url=https://search-
ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032
&lang=es&site=ehost-live&ebv=EB&ppid=pp_Cover

Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de autómatas y

lenguajes formales. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&pp
g=6