想知道下推自动机解决方案是否正确

Question

我有一个问题说：

构造一个接受语言 {a^i b^j | 的 PDA 0

这是给定的解决方案：

  δ ( q0, a, z ) = ( q0, az )   read a, push a
  δ ( q0, a, a ) = ( q0, aa )
  δ ( q0, b, a ) = ( q1, λ )   read b, pop a
  δ ( q1, b, a ) = ( q1, λ )
  δ ( q1, λ, z ) = ( qf, z )   end of string, stack empty
  δ ( q1, b, z ) = ( q1, z )   check the additional b’s 

但据我了解，可能的输入字符串会以 b 开头，因为 i 可能是 0 而 a^i 可能是 1，而 j 可能是 1 而 b^j 可能是 b，这是否意味着应该是一行写着：

δ ( q0, b, z ) = ( q1, z ) ?

还是我误会了什么？

Answer 1

是的，你是对的。

其实上面的PDA接受{a^i b^j | 1