%0 Journal Article
%T 基于左右语言的状态迁移系统的优化
%J 计算机科学
%D 2009
%X 基于左右语言的优化是完全基于自动机理论的优化方法。所谓左语言是指从初始状态到指定状态的语言，而右语言是指从指定状态到接受状态的语言。k-模拟为左右语言的计算提供了一个高效的算法，研究了基于k-模拟的左右语言的kripke结构、btichi自动机的优化方法。
%K 状态迁移系统k-模拟左右语言
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=30336457&flag=1