次のような質問があります。
{a^ib^j | 言語を受け入れる PDA を構築します。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 で始まります。なぜなら、i は 0 で a^i は 1 である可能性があり、j は 1 で b^j は b である可能性があるためです。それは言う：
δ ( q0, b, z ) = ( q1, z ) ?
または私は何かを誤解していますか？