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

Question

我有一個問題說：

構建一個接受語言{a^i b^j | 0 < =我< = 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開始，因爲我可能是0和^我可能是1，而j可以是1，b^j可以是b，這是否意味着應該有一條直線說：

δ（q0，b，z）=（q1，z）？

還是我誤解了一些東西？

Answer 1

是的，你是對的。

其實上面的PDA接受{a^i b^j | 1 < = i < = j}