2023年11月26日发(作者：)

信息系统更新的自动机

曹发生

【期刊名称】《逻辑学研究》

【年(卷),期】2015(000)001

【摘 要】通过引入信息等价和信息范式这两个主要概念，给出了信息系统更新的

自动机。用自动机理论给出信息系统更新的模型的刻画，证明了星动作算子在信息

系统的动态更新的逻辑系统的引入的不必要性，并且得到了自动机的语言和信息更

新的联系。最后利用自动机理论研究了信息系统及其更新逻辑系统的模型检测的时

间复杂性。

【总页数】16页(P79-94)

【作 者】曹发生

【作者单位】中山大学逻辑与认知研究所

【正文语种】中 文

【中图分类】B81

【相关文献】

项目管理在图书馆信息系统更新中的应用 [J], 程慧

2.我院门诊信息系统更新前后处方合格率变化情况分析 [J], 江艳英;吴载柽;谢丽珊;

黄巧妹

3.市卫生局就如何加快医院信息系统更新改造等课题召开会议 [J],

4.煤矿和煤炭销售分公司信息系统更新与实现 [J], 张敏;王南;张东波

5在土地利用信息系统更新中的应用 [J], 杨文轩;张正福;胡燕凌