为FA扩充一个无限容量的栈 用栈的内容和FA的状态结合起来 就可以表示无限存储。 这种模型就是下推自动机 Push-Down Automaton--PDA为FA扩充一个无限容量的栈 用栈的内容和FA的状态结合起来 就可以表示无限存储。 这种模型就是下推自动机 Push-Down Automaton--PDA