什么是语言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）]