形式语言与自动机 考前复习 CH6

下推自动机 下推自动机实质上是一种能控制一条输入带和一个栈的有穷自动机, 能够看做带有栈的 ε-NFA. 工做方式相似 ε-NFA, 有一个有穷控制器, 并可以以非肯定的方式进行状态转移, 并读 入输入字符; 增长的堆栈, 用来存储无限的信息, 但只能之后进先出的方式使用.web 6.1.1 形式定义 定义. 下推自动机 (PDA, Pushdown Automata) P 为七元组：P = (Q

>>阅读原文<<