在我的lectrures中，我们给出了一个下推自动机的例子，它接受以下语言{（a ^ n）（b ^ n）：n大于或等于零}。
Q - set of states ={s,p,f}
L - alphabet = {a,b}
R - stack = {a}
F - accepting states ={s,f}
D -transition relation ={
(s,a,e),(p,a)
(p,a,e),(p,a)
(p,b,a),(f,e)}
我的问题是为什么p和f都是必要的？你能不能只使用州？
另外我想知道构建PDA时是否有方法可以知道您需要多少个状态以及堆栈字母表是什么？或者你只需要直观地解决它？
答案 0 :(得分：0)
如果没有状态p，PDA将接受任何具有相同数量的a和b的字符串。
没有非直观的方法可以预先知道状态或转换的数量，因为我们要将非正式描述转换为正式描述，因此没有正式的方法！