AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 2
FASE 3

Pedro Roncancio M
Estudiante
CÓDIGO: 79318144

PROFESOR
ROLANDO FABIAN JUNCO
Ingeniero De Sistemas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

Octubre de 2019
 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 Ejercicio

de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

EJERCICIO A Ejercicio 4
TRABAJAR

Caracterización - Mediante la definición formal explicar las características del

del autómata a autómata}
pila
Un autómata a pila es una séptupla y es
Según la imagen es un autómata determinista

AP= (Σ, Γ, Q, Ao, q0, , F)

donde:
 Σ= {A, B }. Es el alfabeto de entrada
Γ = {Zo, λ, Z}= {(z)}.Es el alfabeto de la pila (Zo, fondo
de pila)

Q= {q0, q1, q3,}. Es un conjunto finito de estados

A0 ∈ Γ =Zo Es el símbolo inicial de la pila

q0 ∈ Q= {q0}. El estado inicial del autómata

F ⊆ Q= {q0}.Es el subconjunto de estados finales(aceptación)

es una aplicación denominada función de transición de

ternas (estado, símbolo de entrada o λ, símbolo de pila) en
el conjunto de las partes Q×Γ*

- Realizar un cuadro comparativo de la Equivalencia entre AP

por vaciado de pila y AP por estado final

Por estado final

Lf(AP) = {x | (q0, x, A0) ├* (p, λ, X), con p∈F, X∈Γ*}

Por vaciado de pila

Lv(AP) = { x | (q0, x, A0) ├* (p, λ, λ) con p∈Q}

Procedimiento Realice de manera detallada y grafica el procedimiento paso a

de paso a paso paso del recorrido de una cadena (La cadena la selecciona el
del recorrido estudiante, debe contener como mínimo 8 caracteres) en el
de una cadena autómata a pila. Describir cómo funciona el almacenamiento
en la pila, como funciona LIFO, etc. En este caso solo es
posible de tres caracteres AAB Máximo
- Paso 1: cuando el autómata se encuentra en el estado qO,
lee el símbolo de entrada A y tiene el símbolo A en la cima de
la pila.

- Paso 2: cuando el autómata se encuentra en el estado q1,

lee el símbolo de entrada A y tiene el símbolo A en la cima de
la pila.

- Paso 3 cuando el autómata se encuentra en el estado 2, lee

el símbolo de entrada B y tiene el símbolo B en la cima de la
pila.
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por
verificar lo lo menos cinco cadenas válidas y 5 cadenas rechadas por el
aprendido autómata. En este espacio adjunta la imagen. En este caso
solo esa posible validar 2
Solo es posible validar dos cadenas
Primera cadena AAB
cadena A
Cinco cadenas rechazadas
 Ejercicios
1. En la minimización del autómata en la primera validación, como estados
equivalentes quedan:
A. q0, q4, q6 <--Respuesta
B. q4, q0, q6
C. q6, q4, q0
D. q4, q6, q0
2. Los nombres de los conjuntos que se manejan después de la primera validación de
estados son:
A. X, M, Z, N <--Respuesta
B. A, B, C, D
C. X, R, Z, D
D. A, M ,N, Z
3. En la tabla de transición final como resultado de la minimización del autómata:

0 1

B ? ?

A. B,A <--Respuesta
B. Z,N
C. Z,A
D. A,B
 Bibliografía

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas
Para Informáticos. (pp. 119 - 127). Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&lan
g=es&site=edslive&ebv=EB&ppid=pp_Cover

OVA - Unidad 2 – Lenguajes Independientes del Contexto

González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto. [Archivo
web]. Recuperado de http://hdl.handle.net/10596/18317

Molinero, J. (2015, abril 26 ).Automatas a pila. [Archivo web]. Recuperado de

https://www.youtube.com/watch?v=VDqII36S7U4