AUTOMATAS Y LENGUAJES FORMALES

Presentado a:
ROLANDO FABIAN JUNCO

Presentador por:
WILMER ROMINGUER CORTES GONZALEZ

Grupo: 301405_1

marzo 2020.

Universidad Nacional Abierta y a Distancia.

Facatativá
 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

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
TRABAJAR

Caracterizació
n del Características del autómata a pila.
autómata a
pila  Es una séptupla que se caracteriza por:

AP=( Σ , Γ , Q , A 0 , q 0 , f , F)

Donde:
Σ: { 0 ,1 , 2 }
Γ :{ B ,Z}
Q : { Q0 ,Q 1 ,Q 2 }
A 0 ∈ Γ : {Q 0 }
q 0 ∈ Q: {Q 2 } .
F ⊆ q : {Q 2 }

f : Funcion de transcicion
σ =( q 0,0 , Z ) , ( q 0 , BZ )
σ =( q 0,0 , B ) , ( q 0 , BB )
σ =( q 0,1 , B ) , ( q 1 , B )
σ =( q 1,2 , B ) , ( q 2 , λ )
σ =( q 2,2 , B ) , ( q 2 , λ )

 Los autómatas de pila son normalmente deterministas o con

 un indeterminismo muy limitado.
 En términos generales el autómata recibe una cadena
constituida por símbolos de un alfabeto y determina si esa
cadena pertenece al lenguaje que el autómata reconoce.

 A diferencia de los autómatas finitos, los autómatas de pila

cuentan con una memoria auxiliar llamada pila. Los símbolos
(llamados símbolos de pila) pueden ser insertados o extraídos
de la pila, de acuerdo con el manejo last-in-first-out (LIFO).

 Las transiciones entre los estados que ejecutan los autómatas

de pila dependen de los símbolos de entrada y de los símbolos
de la pila. El autómata acepta una cadena x si la secuencia de
transiciones, comenzando en estado inicial y con pila vacía,
conduce a un estado final, después de leer toda la cadena x.
AP por vaciado de pila AP por estado final
Se dice que un A.P. acepta una Se dice que un A.P. acepta una
cadena por vaciado de pila si es cadena por estado final si es
posible que una sucesión de posible que una sucesión de
movimientos lleve al A.P. a una movimientos lleve al A.P. a una
configuración del tipo (q, λ, λ), es configuración del tipo (q f, λ, Z)
decir, si consigue vaciar con qf ∈ F, es decir, si consigue
completamente la pila cuando ha llegar a un estado final cuando ha
leído toda la cadena de entrada leído toda la cadena de entrada
(independientemente del que (independientemente de lo que
estado al que llegue sea o no quede en la pila).
final). Lenguaje aceptado:
Lenguaje aceptado:

Este concepto nos lleva a un

De la misma forma, se puede
pensar en estos autómatas como
un programa, donde la condición
de parada es que tanto la pila
como la cinta estén vacías.
Si un AP A1 reconoce un lenguaje
L por vaciado de pila, existe otro
AP A2 que reconoce L por estado
final.
modelo de programa en el que la
condición de parada viene dada
por los estados finales
aceptadores y por tener la cinta
vacía.
Si un AP A1 reconoce un lenguaje
L por estado final, existe otro AP
A2 que reconoce L por vaciado de
pila.
 Ahora un segundo autómata que
Lo único que hay que hacer es imita el comportamiento del
construir un A2 que coloque su primero, cuando detecta que éste
propio símbolo inicial de la pila en ha llegado a un estado final, pasa
su pila, y encima a la inicial de a un estado “de vaciado”, en el
A1. A partir de entonces, imita que se dedica únicamente a
exactamente el comportamiento desapilar lo que quede en la pila.
de A1. Cuando éste haya vaciado
su pila (lo que se detecta porque El conjunto de lenguajes
A2 encuentra su símbolo inicial de aceptables por vaciado de pila por
pila en ella), A2 pasa a su estado el conjunto de los autómatas a
final. pila, coincide con el conjunto de
los lenguajes aceptables por
El conjunto de lenguajes estado final por dicho
aceptables por vaciado de pila por
el conjunto de los autómatas a
pila, coincide con el conjunto de
los lenguajes aceptables por
estado final por dicho

Procedimiento
de paso a Cadena:00122
paso del
recorrido de - Paso 1: cuando el autómata se encuentra en el estado q0, lee el
una cadena símbolo de entrada 0 y tiene el símbolo Z en la cima de la pila, luego
desapila z y apila BZ. σ =( q 0,0 , Z ) , ( q 0 , BZ )
- Paso 2: El automata nuevamente en q0 lee el símbolo de entrada 0
y tiene la palabra bz en la cima de la pila, luego desapila b y apila
bb. σ =( q 0,0 , B ) , ( q 0 , BB )

- Paso 3: el automata nuevamente en q0 lee el símbolo de entrada 1

y tienen la palabra bb en la cima de la pila, luego desapila b y apila
b; realizando la transición al estado q1. σ =( q 0,1 , B ) , ( q 1 , B )

- Paso 4: el autómata ahora en estado q1 lee el símbolo de entrada

2 y tiene la palabra b en la cima de la pila, luego desapila b y apila
en vacío; realizando la transición al estado q2.
σ =( q 1,2 , B ) , ( q 2 , λ )
 - Paso 4: el autómata ahora en estado q2 lee el símbolo de entrada
2 y tiene la palabra b en la cima de la pila, luego desapila b y apila
en vacío; quedando nuevamente en el estado q2.
σ =( q 2,2 , B ) , ( q 2 , λ )

 Hasta acá llega la cadena de simulación ya que no tenemos

salida hacia otro estado que nos permita vaciar la pila de z.

Practicar y  Nota: no fue posible encontrar una cadena que el autómata

verificar lo acepte ya que como se mostró en el paso anterior no se
aprendido dispone de un mecanismo para vaciar z de la pila.

Lenguaje ε ={ 0,1,2 }
regular