计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2008年
7期
241-243,276
,共4页
模型检验%Buchi自动机%选择Buchi自动机%LTL公式
模型檢驗%Buchi自動機%選擇Buchi自動機%LTL公式
모형검험%Buchi자동궤%선택Buchi자동궤%LTL공식
在LTL公式和自动机理论的基础上,给出了一种从LTL公式到自动机的转换算法.该算法先简化LTL公式,然后再对简化的LTL公式转换,形成选择Buchi自动机.此算法与其他算法相比,具有可扩展性的优点,可以在此基础上形成属性描述语言PSL向自动机的转换.
在LTL公式和自動機理論的基礎上,給齣瞭一種從LTL公式到自動機的轉換算法.該算法先簡化LTL公式,然後再對簡化的LTL公式轉換,形成選擇Buchi自動機.此算法與其他算法相比,具有可擴展性的優點,可以在此基礎上形成屬性描述語言PSL嚮自動機的轉換.
재LTL공식화자동궤이론적기출상,급출료일충종LTL공식도자동궤적전환산법.해산법선간화LTL공식,연후재대간화적LTL공식전환,형성선택Buchi자동궤.차산법여기타산법상비,구유가확전성적우점,가이재차기출상형성속성묘술어언PSL향자동궤적전환.
