想知道下推自動機解決方案是否正確

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}