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

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