%0 Journal Article
%T Left and Right Language-based Optimizing State Transition Systems<br>基于左右语言的状态迁移系统的优化
%A LIU Jian-guo
%A YUAN Zhi-bin
%A <br>刘建国
%A 袁志斌
%J 计算机科学
%D 2009
%I 
%X 基于左右语言的优化是完全基于自动机理论的优化方法.所谓左语言是指从初始状态到指定状态的语言,而右语言是指从指定状态到接受状态的语言.K-模拟为左右语言的计算提供了一个高效的算法,研究了基于K-模拟的左右语言的Kripke结构、Büchi自动机的优化方法.
%K State transition systems
%K K-simulation
%K Left and right languages<br>状态迁移系统
%K K-模拟
%K 左右语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=2CE53A75C9477706A8C091C8C2552FC9&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=94C357A881DFC066&sid=CC0ECB9C52F1B85F&eid=527AEE9F3446633A&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=6