initial(q0).			final(q1).

	delta(q0,X,S,q0,[X|S]).
	delta(q0,X,S,q1,[X|S]).
	delta(q0,X,S,q1,S).
	delta(q1,X,[X|S],q1,S).

%	Program 17.4:An NPDA for palindromes over a finite alphabet