作者:曹发生信息系统动态自动机模型检测
摘要:通过引入信息等价和信息范式这两个主要概念,给出了信息系统更新的自动机。用自动机理论给出信息系统更新的模型的刻画,证明了星动作算子在信息系统的动态更新的逻辑系统的引入的不必要性,并且得到了自动机的语言和信息更新的联系。最后利用自动机理论研究了信息系统及其更新逻辑系统的模型检测的时间复杂性。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《中山大学学报论丛》是一本有较高学术价值的月刊,自创刊以来,致力于为国内外逻辑学及相关领域的研究者提供一个发表学术创见、展开学术对话的卓越的平台。选题新奇而不失报道广度,服务大众而不失理论高度,颇受业界和广大读者的关注和好评。 重要通知:《中山大学学报论丛》杂志已正式更名为《逻辑学研究》杂志。
省级期刊
人气 38152 评论 47
CSSCI南大期刊、北大期刊
人气 32798 评论 47
人气 25392 评论 64
人气 25031 评论 15