基于左右语言的状态迁移系统的优化

• 作者: 刘建国 袁志斌
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 状态迁移系统 K-模拟 左右语言
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 人工智能
• 页码范围: 211-213
• 页数: 3页
• 分类号: TP311
• 字数: 3773字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2009.05.055

摘要

基于左右语言的优化是完全基于自动机理论的优化方法.所谓左语言是指从初始状态到指定状态的语言,而右语言是指从指定状态到接受状态的语言.K-模拟为左右语言的计算提供了一个高效的算法,研究了基于K-模拟的左右语言的Kripke结构、Büchi自动机的优化方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘建国	华中科技大学计算机科学与技术学院	117	790	13.0	21.0
5	袁志斌	广东商学院信息学院	6	18	2.0	4.0