计算机科学 ›› 2006, Vol. 33 ›› Issue (3): 271-274.
• • 上一篇 下一篇
出版日期:
发布日期:
Online:
Published:
摘要： 参照有限状态自动机图形表示方式的思想方法，研究了标准下推自动机的图形表示——PAD状态转换图，证明了下推自动机与标准下推自动机的等价性.给出了对标准下推自动机进行化简的原则，并给出了化简算法，实现了下推自动机的化简.
关键词: 状态转换图 标准下推自动机 化简 行为等价 状态等价
Abstract: According to the method of finite automation diagram description, the diagram description of normal form of pushdown automata, the PAD state transition diagram is discussed. It is proofed that pushdown automat is equipollence with normal form of pushdown
Key words: State transition diagram, Normal form of pushdown automata, Simplification, Behavior equivalence, State equivalence
. 下推自动机的状态转换图与下推自动机的化简[J]. 计算机科学, 2006, 33(3): 271-274. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I3/271
Cited
首页