10.3969/j.issn.1002-137X.2009.05.055
基于左右语言的状态迁移系统的优化
基于左右语言的优化是完全基于自动机理论的优化方法.所谓左语言是指从初始状态到指定状态的语言,而右语言是指从指定状态到接受状态的语言.K-模拟为左右语言的计算提供了一个高效的算法,研究了基于K-模拟的左右语言的Kripke结构、Büchi自动机的优化方法.
状态迁移系统、K-模拟、左右语言
36
TP311(计算技术、计算机技术)
本文工作得到广东自然科学基金06023961;广东省教育厅自然科学基金No.052013的支持
2009-06-09(万方平台首次上网日期,不代表论文的发表时间)
共3页
211-213