Fondo tope
zabababbbcccccccc
aaabcbaa
z0 X Y
abcab
Ejemplo 2
abcc
aabcccc
(e0, aabcccc, z)
(e0,abcccc, Az)
(e0,bcccc, AAz)
(e1, cccc, AAz)
(e1,ccc,Az)
(e1,cc, z)
(e2,c,z)
(e2,Lambda,z)
abc no es válida
(e0, abc,z)
(e0,bc,Az)
(e1,c,Az)
(e1,lambda,z) cadena rechazada
, aaaabcc
(e0, aaaabcc, z)
(e0,aaabcc, Az)
(e0, aabcc, AAz)
(e0,abcc,AAAz)
(e0,bcc,AAAAz)
(e1,cc,AAAAz)
(e2,c,AAAz)
(e3,c,AAAz)
(e2,lambda,AAz)
(e3,lambda,AAz)
Ejemplos de cadenas rechazadas
aaabcccc
aaabccc
(e0,aaabccc,z)
(e1,aabccc,z)
(e1,abccc,Az)
(e1,bccc,AAz)
(e2,ccc,AAz)
(e3,cc,Az)
(e3,c,z) cadena rechazada
Aceptación por pila vacia
{a^i b c^i, i >= 0}
aabcc
i=2
k=3
n=0
00111112223
xxx
i=k=0 3.....
i = 0 k >0 111222333.....
i>0 k=0 001133....
zabababbbcccccccc
aaabcbaa
z0 X Y
abcab
Ejemplo 2
abcc
aabcccc
(e0, aabcccc, z)
(e0,abcccc, Az)
(e0,bcccc, AAz)
(e1, cccc, AAz)
(e1,ccc,Az)
(e1,cc, z)
(e2,c,z)
(e2,Lambda,z)
abc no es válida
(e0, abc,z)
(e0,bc,Az)
(e1,c,Az)
(e1,lambda,z) cadena rechazada
, aaaabcc
(e0, aaaabcc, z)
(e0,aaabcc, Az)
(e0, aabcc, AAz)
(e0,abcc,AAAz)
(e0,bcc,AAAAz)
(e1,cc,AAAAz)
(e2,c,AAAz)
(e3,c,AAAz)
(e2,lambda,AAz)
(e3,lambda,AAz)
Ejemplos de cadenas rechazadas
aaabcccc
aaabccc
(e0,aaabccc,z)
(e1,aabccc,z)
(e1,abccc,Az)
(e1,bccc,AAz)
(e2,ccc,AAz)
(e3,cc,Az)
(e3,c,z) cadena rechazada
Aceptación por pila vacia
{a^i b c^i, i >= 0}
aabcc
i=2
k=3
n=0
00111112223
xxx
i=k=0 3.....
i = 0 k >0 111222333.....
i>0 k=0 001133....