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

Question

我有一个问题说：

构造一个接受{a ^ ib ^ j |语言的PDA。 0 <= i <= j}

这是给定的解决方案：

  δ ( 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 ^ ib ^ j | 1 <= i <= j}