下推自动机的状态转换图与下推自动机的化简

• 作者: 吴哲辉 张继军
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 状态转换图 标准下推自动机 化简 行为等价 状态等价
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 软件工程
• 页码范围: 271-274
• 页数: 4页
• 分类号: TP3
• 字数: 4527字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2006.03.074

摘要

参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示--PAD状态转换图,证明了下推自动机与标准下推自动机的等价性.给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴哲辉	山东科技大学信息学院	88	638	14.0	19.0
2	张继军	山东农业大学信息学院	25	123	7.0	9.0