逻辑学研究
邏輯學研究
라집학연구
Supplement to the Journal of Sun Yatsen University
2015年
1期
79~94
,共null页
信息系统 动态 自动机 模型检测
信息繫統 動態 自動機 模型檢測
신식계통 동태 자동궤 모형검측
通过引入信息等价和信息范式这两个主要概念,给出了信息系统更新的自动机。用自动机理论给出信息系统更新的模型的刻画,证明了星动作算子在信息系统的动态更新的逻辑系统的引入的不必要性,并且得到了自动机的语言和信息更新的联系。最后利用自动机理论研究了信息系统及其更新逻辑系统的模型检测的时间复杂性。
通過引入信息等價和信息範式這兩箇主要概唸,給齣瞭信息繫統更新的自動機。用自動機理論給齣信息繫統更新的模型的刻畫,證明瞭星動作算子在信息繫統的動態更新的邏輯繫統的引入的不必要性,併且得到瞭自動機的語言和信息更新的聯繫。最後利用自動機理論研究瞭信息繫統及其更新邏輯繫統的模型檢測的時間複雜性。
통과인입신식등개화신식범식저량개주요개념,급출료신식계통경신적자동궤。용자동궤이론급출신식계통경신적모형적각화,증명료성동작산자재신식계통적동태경신적라집계통적인입적불필요성,병차득도료자동궤적어언화신식경신적련계。최후이용자동궤이론연구료신식계통급기경신라집계통적모형검측적시간복잡성。
By defining the concepts of information equivalence and normal form, automata of update for information systems is presented. The model of update for information systems is characterized by automata theory. It is proved that it is not necessary to add the iteration operator to the logic system of update for information systems. Then, we obtain the connection with update for information systems and its automata. Finally, the model checking complexities of update for information systems are studied by the automata theory of information system and update logic system.