| 下推自动机的状态转换图与下推自动机的化简 |
| |
| 引用本文： | 张继军,吴哲辉.下推自动机的状态转换图与下推自动机的化简[J].计算机科学,2006,33(3):271-274. |
| |
| 作者姓名： | 张继军 吴哲辉 |
| |
| 作者单位： | 1. 山东农业大学信息学院,泰安,271018;山东科技大学信息学院,青岛,266510
2. 山东科技大学信息学院,青岛,266510 |
| |
| 摘 要： | 参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。
|
| 关 键 词： | 状态转换图 标准下推自动机 化简 行为等价 状态等价 |
State Transition Diagram of Pushdown Automata and Simplification of Pushdown Automata |
| |
| ZHANG Ji-Jun,WU Zhe-Hui.State Transition Diagram of Pushdown Automata and Simplification of Pushdown Automata[J].Computer Science,2006,33(3):271-274. |
| |
| Authors: | ZHANG Ji-Jun WU Zhe-Hui |
| |
| Abstract: | |
| |
| Keywords: | State transition diagram Normal form of pushdown automata Simplification Behavior equivalence State equivalence |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
