什么是語言a ^ mb ^ n的PDA（下推式自動機），其中n <m

Question

給定語言a到冪mb到冪n的下推自動機將如何變化，其中n小於ma ^ 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符號彈出3. 3.Δ（q_0，b，a）=（q_1，ϵ）4.Δ（q_1，b，a）=（q_1，ϵ）//當字符串為空，並且'a'符號仍留在堆棧上，到達最終狀態5。Δ（q_1，ϵ，a）=（q_2，a）]