automation - 言語 a^mb^n の PDA (プッシュダウン オートマトン) は何でしょうか。ここで n 与えられた言語のプッシュダウン オートマトンはどのようになりますか a 乗 mb 乗 n ここで、n は m より小さい a^mb^n / n Numpy配列の高速補間/リサンプル - Python

Question

与えられた言語のプッシュダウン オートマトンはどのようになりますか a 乗 mb 乗 n ここで、n は m より小さい a^mb^n / n

Answer 1

[PDA を P:-(Q={q_0,q_1,q_2},={a,b},Δ,q_0,Z,F={q_2}) とします。ここで、Q は状態の有限集合です。Δ= 遷移関数 Z= スタック開始記号 F= 最終状態のセット 遷移は // スタックに a をプッシュ 1. Δ(q_0,a,Z)=(q_0,aZ) 2. Δ(q_0,a,a)= (q_0,aa) //b シンボルに遭遇するたびに a をポップ 3. Δ(q_0,b,a)=(q_1,ϵ) 4. Δ(q_1,b,a)=(q_1,ϵ) //文字列は空で、「a」シンボルはまだスタックに残っており、最終状態 5 に到達します。Δ(q_1,ϵ,a)=(q_2,a)]