什么是语言的PDA（下推自动机）a ^ mb ^ n其中n <m

Question

=“”

下推自动机如何？给定的语言a到功率mb到功率n，其中n小于m a ^ m b ^ n / n

Answer 1

[令PDA为P :-( Q = {q_0，q_1，q_2}，= {a，b}，Δ，q_0，Z，F = {q_2}）其中Q =有限状态集。 Δ=转移函数Z =堆栈起始符号F =最终状态集合转换是//在堆栈1上推送.Δ（q_0，a，Z）=（q_0，aZ）2。Δ（q_0，a，a）= （q_0，aa）//为遇到的每个b符号弹出a3.Δ（q_0，b，a）=（q_1，ε）4。Δ（q_1，b，a）=（q_1，ε）//当字符串时是空的，'a'符号仍然在堆栈上达到最终状态 5.Δ（q_1，ε，a）=（q_2，a）]