UNIVERSIDAD DE PANAM

CENTRO REGIONAL UNIVERSITARIO DE VERAGUAS

FACULTAD DE INFORMTICA, ELECTRNICA Y
COMUNICACIN
ESCUELA DE INGENIERA EN INFORMTICA

INFORMTICA TERICA II
TALLER:
DISEO DE AUTMATAS DE PILA

ESTUDIANTE

AO
2017
 1. { xn ym : m , n 0 m = n o m = 2n}

{{q1,q2},{x,y},{A,Z},{q1},{Z},{q2}
Z: inicio de la pila
A: insercin de una x

x y
Z q1 {( q1 ,AZ),(q1 ,AAZ)} --------
q2 ------- ------- {( q1 ,)}
A q1 {( q1 ,AA),(q1 ,AAA)} {( q2 ,)
q2 ------- {( q2 ,)

Es no determinista .

2. {ambnn m 2n}

{{q1,q2,q2},{a,b},{A,,B,Z},{q1},{Z},{q2}
Z:inicio de la pila
A: insercin a y b

a b
q1 {( q1 ,AZ) --------
Z.
q2 ------- ------- {( q1 ,)}
q1 {( q1 ,A),(q1 ,AA)} {( q2 ,)
A
q2 ------- {( q2 ,)

3. El conjunto de las cadenas de parntesis balanceados, es decir, cada parntesis

izquierdo hace pareja con uno derecho y los pares de parntesis estn bien
anidados. Ejm () ()(), (())(), ((()))

{{q1,},{(,)},{A,,Z},{q1},{Z},{q1}
Z: inicio de la pila
A:insercin de (
( )
Z. q1 {( q1 ,AZ) ****** {(q1, )}
A q1 {( q1 ,AA) {(q1, )}
4. {anbn+mcmn, m son naturales}

Z:INICIO DE LA PILA
A: insercin de las a
B:insercin de las B

{{q1,},{a,b,c},{A,B,Z},{q1},{Z},{q3}

a b c
q1 {( q1 ,AZ) --------
Z.
q2 ------- {( q2 ,BZ) ---------
q3
q1 {( q1 ,AA) {( q2 ,)
A
q2 ------- {( q2 ,)
q3
q1 -------- -----------
B
q2 {( q2 ,BB)} {( q3 ,)}
q3 {( q3 ,)}

Es determinista .

Aplicando la seguinte reglas

 1. (q0,a,Z) = {(q0,AAZ)} 1 vez
2. (q0,a,A) = {(q0,AAA)} veces
3. (q0,b,A) = {(q1,A)} 1 vez
4. (q1,b,A) = {(q1, A)}n veces
5. (q1,c,A) = {(q2, )} 1 vez
6. (q2,c,A) = {(q2, )} n veces
7. (q2,,Z) = {(q2,)} 1 vez
producen cadenas a an bb*c2n

1. (q0,b,Z) = {(q1, Z)} 1 vez

2. (q1,,Z) = {(q2,)} 1vez
3. (q1,b,Z) = {(q1, Z)} n veces
4. (q1,d,Z) = {(q3, DDZ)} 1 vez
5. (q2,,Z) = {(q2,)} 1 vez
6. (q2,d,Z) = {(q3, DDZ)}1 vez
7. (q3,d,D) = {(q4, )}1 vez
8. (q4,d,D) = {(q2, )}1 vez

en bucle las tres ltimas reglas n veces crear la cadenas ddd*

producen las cadenas bb*(ddd)(ddd)*

1. (q0,d,Z) = {(q3, DDZ)} 1 vez

2. (q3,d,D) = {(q4, )} 1 vez
3. (q4,d,D) = {(q2, )} 1 vez
4. (q2,d,Z) = {(q3, DDZ)}
5. (q2,,Z) = {(q2,)} 1 vez

enbucle se crea la cadena

ddd(ddd)*

(q1,,Z) = {(q2,)} esta regla acepta la cadena vaca

el leguanje aceptado ser entonces

{an bm c2n V bp (ddd)m| n,m,>0 p>=0}
 Utilice la descripcin instantnea para mostrar el procesamiento en el autmata de
pila anterior de las cadenas aacc, ,abcd , bddd, abbcdddddd.

a. (q0, aacc,Z) = {(q0,AAZ)}

(q0, acc,AAZ) = {(q0,AAA)}
(q0,cc,AZ)=error

b. (q0, ,Z)=(q2, ). Acepta.

c. (q0, abcd,Z) = {(q0,AAZ)}

(q0, bcd,AAZ)= {(q1,A)}
(q1, cd,AAZ)= {(q2, )}
(q1, d,AZ)= .error

d. (q0, bddd,Z)= {(q1,Z)}

(q1, ddd,Z) = {(q3, DDZ)}
(q3,dd,DDZ)= {(q4, )}
(q4,d,DZ) ={(q2, )}
( q4, ,Z)={q2, )}.

e. (q0, abbcdddddd,Z)= {(q0,AAZ)}

(q0, bbcdddddd,AAZ)= {(q1,A)}
(q1, bcdddddd,AAZ)= {(q1,A)}
(q1, cdddddd,AAZ)= {(q2, )}
(q2, dddddd,AZ)=..error