计算机应用与软件2010，Vol.27Issue(6)：32-34,88,4.
Büchi自动机的优化综述
OVERVIEW ON OPTIMISING Büchi AUTOMATA
摘要
关键词
Büchi自动机/模拟/左右语言引用本文复制引用
袁志斌..Büchi自动机的优化综述[J].计算机应用与软件,2010,27(6):32-34,88,4.基金项目
国家自然科学基金(60203011) （60203011）
广东省自然科学基金(06023961) （06023961）
广东省教育厅自然科学基金重点项目(05Z013) （05Z013）
广东商学院校级课题(53026535). （53026535）
