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

摘要：

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

关键词：状态迁移系统、K-模拟、左右语言

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：本文工作得到广东自然科学基金06023961;广东省教育厅自然科学基金No.052013的支持

在线出版日期：2009-06-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：211-213