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=最终状态集 转换是 //push a on stack 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)]