信息系统更新的自动机
Automata of Update for Information Systems

通过引入信息等价和信息范式这两个主要概念，给出了信息系统更新的自动机。用自动机理论给出信息系统更新的模型的刻画，证明了星动作算子在信息系统的动态更新的逻辑系统的引入的不必要性，并且得到了自动机的语言和信息更新的联系。最后利用自动机理论研究了信息系统及其更新逻辑系统的模型检测的时间复杂性。