Segundo Taller de Compiladores

MIGUEL ANGEL RUIZ HERNANDEZ

JOSSIE ARQUELLES

1. Muestre tres secuencias en el conjunto reconocido por esta

mquina de pila de un solo estado. Y para cada una de estas
secuencias muestre los pasos de cmo la pila los va
reconociendo.
A
B

APILE(A
)
AVANCE
APILE
(C)
AVANCE

RECHA
CE

DESAPIL
E
AVANCE
APILE(A)
AVANCE

RECHACE

DESAPIL
E
AVANCE

RECHACE

RECHAC
E

ACEPTE

APILE
(B)
RETENG
A
APILE
(A)
AVANCE

DESAPI
LE
RETEN
GA
APILE(C
)
AVANC
E
APILE(B
)
AVANC
E

Inicio de Pila:
a)

aacc
A acc
AA cc
Ac

ACEPTE

b)

aaaccc
A aaccc
AA accc
AAA ccc
AA cc
Ac

ACEPTE

c)

ac
Ac

ACEPTE

RECHACE

2. Describa en palabras el conjunto de secuencias reconocidas por

esta mquina de pila y comprelo con el ejercicio realizado en
clase.
(

APILE(A)
AVANCE

APILE
(A)
AVANCE

DESAPIL
E
AVANCE
RECHAC
E

DESAPILE
RETENGA
ACEPTE

Inicio de Pila:

Esta mquina de pila se encarga de validar que no haya

parntesis cierre sin su respectivo paracentesis de apertura
antes de l, y adems de que puede haber parntesis de
apertura que no tengan parntesis de cierre. Esto se podra
expresar as:
n
n
n 0

Comparndolo con el ejercicio en clase se resalta una nica

diferencia que es que como se mencion anteriormente aqu
pueden haber un parntesis de apertura sin su respectivo
parntesis de cierre mientras que en el ejercicio en clase cada
debe haber un parntesis de apertura con su respectivo
parntesis de cierre.
3. Disee una mquina de pila (primitiva) reconocedora para cada
uno de los siguientes conjuntos de secuencias.

n m
a. 1 0

n m 0;
1

APILE(A
)
AVANCE

ESTADO(
S1)
RETENG
A

RECHACE

APILE
(A)
AVANCE

RECHAC
E

RECHACE

RECHAC
E

RECHAC
E

So
0

DESAPIL
E
AVANCE
RECHAC
E

ACEPTE
RECHACE

n m
b. 1 0

S1

n m 0;
1

APILE(A
)
AVANCE

ESTADO(
S1)
RETENG
A

RECHACE

APILE
(A)
AVANCE

RECHAC
E

RECHACE

RECHAC
E

DESAPIL
E
AVANCE

RECHAC
E

So

RECHAC
E

n n
m 2m
c. 1 0 0 1

ACEPTE
ACEPTE

S1

n, m 0 Donde denota la Unin

ESTADO(
S1)
RETENG
A
RECHAC
E

APILE(A
)
AVANC
E
APILE(A
)
AVANC
E

RECHAC
E

RECHACE

RECHAC
E

RECHACE

So

DESAPIL
E
AVANCE
RECHAC
E

RECHA
CE

RECHACE

RECHACE

RECHA
CE

ESTADO(
S2)
AVANCE

RECHACE

S1

APILE(A
)
AVANCE

RECHAC
E

RECHACE

APILE(A
)
AVANCE

ESTADO(
S3)
RETENG
A
RECHAC
E

RECHAC
E

RECHACE

S2

RECHAC
E

RECHAC
E

RECHACE

RECHAC
E
RECHAC
E

REMPLACE
(B)
AVANCE
DESAPILE
AVANCE
RECHACE

RECHAC
E
RECHAC
E

RECHACE

S3

ACEPTE

4. Usando la operacin REEMPLACE, disee un traductor de un

estado que realice la misma traduccin de la mquina de pila
r
*
vista en clase (recordar que es el leguaje w2 w w en (0 1) ).

DESAPILE
IMPRIMA(0
)
AVANCE
RECHACE

RECHACE

RECHA
CE

RECHAC
E

DESAPILE
AVANCE
REMPLAC
E(1X)
IMPRIMA(1
)
AVANCE
RECHACE

RECHA
CE
DESAPI
LE
AVANCE

RECHAC
E
RECHAC
E

RECHA
CE

ACEPTE

REMPLAC
E(0X)
AVANCE

RECHACE

So

5. Indique porque una mquina de pila, no puede reconocer cada

una de las siguientes secuencias:

n n n
a. 1 0 1

n 0;

No se puede reconocer por mquina de pila debido a que

no hay una forma de validar que la ltima serie de unos
tenga longitud n

r
b. ww

Donde w es una secuencia de 1s y 0s

No se reconoce por mquina de pila debido a que no se

puede encontrar en las cadenas que se pueden generar
con esta frmula un indicio de cuando termina w y
empieza wr

n n
n 2n
c. 1 0 0 1

n0

No se puede reconocer por mquina de pila debido a que

no se podr reconocer en donde termina el 0 n antes del +
ni cuando comienza el 0n despus del +