计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
7期
264-267
,共4页
模拟%自动机%最小化
模擬%自動機%最小化
모의%자동궤%최소화
对Büchi自动机进行优化是提高基于自动机的模型检测效率的重要手段.本文对直接模拟关系,延迟模拟关系和公平模拟关系的概念,算法进行了比较,并探讨了基于这些模拟关系的自动机优化方法.最后对未来的研究方向作了简要的介绍.
對Büchi自動機進行優化是提高基于自動機的模型檢測效率的重要手段.本文對直接模擬關繫,延遲模擬關繫和公平模擬關繫的概唸,算法進行瞭比較,併探討瞭基于這些模擬關繫的自動機優化方法.最後對未來的研究方嚮作瞭簡要的介紹.
대Büchi자동궤진행우화시제고기우자동궤적모형검측효솔적중요수단.본문대직접모의관계,연지모의관계화공평모의관계적개념,산법진행료비교,병탐토료기우저사모의관계적자동궤우화방법.최후대미래적연구방향작료간요적개소.
