LENGUAJES FORMALES Y TEORÍA DE

AUTÓMATAS
EJERCICIO

Realizar un AFD que acepte como lenguaje

 ()

 ((()))
EJERCICIO

Realizar un AFD que acepte como lenguaje

 ()

 ((()))

 Que pasaría si necesitamos que funcione como

los paréntesis de una operación matemática.
En los cuales tendría que haber la misma
cantidad de paréntesis abiertos que cerrados.
(𝑛 )𝑛 𝑑𝑜𝑛𝑑𝑒 𝑛 > 0
…Añadiendo memoria a la máquina conceptual.

AUTÓMATAS DE PILA
DEFINICIÓN DE LOS AUTÓMATAS DE PILA
Al igual que un
autómata finito cuenta
con un flujo de entrada
y un mecanismo de
control que puede
encontrarse en uno de
entre un número finito
de estados. Uno de
estos estados se
designa como el inicial y
por lo menos un estado
se designa como estado
de aceptación.
DIFERENCIA
 AUTOMATA DE PILA(AP)
Definición

❑ Autómata que extiende la potencia reconocedora de lenguajes

del autómata finito añadiendo una memoria interna tipo pila
(“contador de simbolos”).

❑ El funcionamiento del AP se realiza de acuerdo con alguna

forma de gramática.

PILA
Push(3) Push(5) Push(1) Pop Pop Push(2)
1
5 5 5 2
3 3 3 3 3 3
Símbolos de pila de la máquina: Símbolos que
pueden almacenarse en la pila que constituyen
un conjunto finito que puede incluir algunos o
todos los símbolos del alfabeto de la máquina y
quizá algunos símbolos adicionales que la
máquina utiliza como marcas internas.

Indicador de pila vacía: Símbolo especial en la

pila antes de efectuar algún otro cálculo posterior.
Ejemplo: #.
TRANSICIONES DE UN AUTÓMATA DE PILA

Deben ser variantes de la secuencia básica:

Leer un símbolo de entrada,
Extraer un símbolo de la pila,
Insertar un símbolo de la pila y
Pasar a un nuevo estado.
Este proceso se representa con la notación

(p, x, s; q, y)
Donde
p es el estado actual,
x es el símbolo de alfabeto que se lee de la
entrada,
s es el símbolo que se extrae de la pila,
q es el nuevo estado y
y es el símbolo que se inserta en la pila.
 NOTACIÓN

(p, x, s; q, y)
EJEMPLO:

(0, λ, λ; 1, #)

λ, λ; #
0 1
EJEMPLO:
(1, λ, λ, 2, #) (3, λ, #, 4, λ)
(2, x, λ, 2, x)
(2, y, x, 3, λ)
(3, y, x, 3, λ)
UN AUTÓMATA DE PILA ES UNA SÉXTUPLA
(s,∑,г,T,і,F), donde:
S es una colección finita de estados.
∑ es el alfabeto de la máquina.
Г es la colección finita de símbolos de pila.
T es una colección finita de transiciones.
i (un elemento de S) es el estado inicial.
F (Un subconjunto de S) es la colección de estados
de aceptación.
APLICACIÓN DE LOS AUTÓMATAS DE PILA

Se pueden utilizar para analizar cadenas, en

forma similar a como se usan los autómatas
finitos.
La terminología común no hace énfasis en la
naturaleza no determinista de los autómatas de
pila. Técnicamente, deberían llamarse
Autómatas de pila no deterministas.

Los lenguajes aceptados por los autómatas de

pila incluyen los lenguajes regulares.
LOS AUTÓMATAS DE PILA ACEPTAN LENGUAJES QUE
NO PUEDEN ACEPTAR LOS AUTÓMATAS FINITOS.
Inserción del símbolo de pila vacía. Luego, la máquina extrae
una X por cada Y que se lee. Al final extrae absolutamente
todos los símbolos.
TEOREMA 2.1
Para cada autómata de pila que acepte cadenas
sin vaciar su pila, existe un autómata que acepta
el mismo lenguaje pero que vacía su pila antes
de llegar a un estado de aceptación.
EJERCICIO

Realizar un AFD que acepte como lenguaje

 ()

 ((()))

 Que pasaría si necesitamos que funcione como

los paréntesis de una operación matemática.
En los cuales tendría que haber la misma
cantidad de paréntesis abiertos que cerrados.
(1+2)+((5-3)*(2*(5-3))
EJERCICIO
Realizar un AFD que acepte como lenguaje
 ((()))

 Que pasaría si necesitamos que funcione como

los paréntesis de una operación matemática.
En los cuales tendría que haber la misma
cantidad de paréntesis abiertos que cerrados.
EJERCICIO:

Diseñe un autómata de pila M tal que

L(M)={XnYmXn:m,nЄN}
EJERCICIO:

Diseñe un autómata de pila M tal que

L(M)={XnYmXn:m,nЄN}

X, λ; X Y, X; Y X,Y; λ λ, Y; λ

λ, λ; # Y, X; Y λ, λ; λ λ, #; λ
X, Y; λ
i 1 2 3 p q
LABORATORIO

Laboratorio a realizar del 25 de septiembre al 1 de octubre

en blackboard, bajo el link autómatas de Pila.