| 基于左右语言的状态迁移系统的优化 |
| |
| 引用本文： | 刘建国,袁志斌.基于左右语言的状态迁移系统的优化[J].计算机科学,2009,36(5):211-213. |
| |
| 作者姓名： | 刘建国 袁志斌 |
| |
| 作者单位： | 1. 华中科技大学计算机科学与技术学院,武汉,430074;武汉理工大学汽车学院,武汉,430070
2. 广东商学院信息学院,广州,510320 |
| |
| 基金项目： | 广东自然科学基金，广东省教育厅自然科学基金 |
| |
| 摘 要： | 基于左右语言的优化是完全基于自动机理论的优化方法.所谓左语言是指从初始状态到指定状态的语言,而右语言是指从指定状态到接受状态的语言.K-模拟为左右语言的计算提供了一个高效的算法,研究了基于K-模拟的左右语言的Kripke结构、Büchi自动机的优化方法.
|
| 关 键 词： | 状态迁移系统 K-模拟 左右语言 |
| 收稿时间： | 2008/6/25 0:00:00 |
Left and Right Language-based Optimizing State Transition Systems |
| |
| LIU Jian-guo,YUAN Zhi-bin.Left and Right Language-based Optimizing State Transition Systems[J].Computer Science,2009,36(5):211-213. |
| |
| Authors: | LIU Jian-guo YUAN Zhi-bin |
| |
| Affiliation: | Department of Computer Science and Technology;Huazhong University of Science & Technology;Wuhan 430074;China;School of Information;Guangdong Commercial College;Guangdong 510320;China;School of Automobile;Wuhan University & Technology;Wuhan 430070;China |
| |
| Abstract: | |
| |
| Keywords: | State transition systems K-simulation Left and right languages |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
