×

兹马思-数学第一资源

关于无限计算的推理。(英语) 邮政编码:0827.03009
作者研究了由有限自动机定义的连接词在无限词上对时间逻辑的扩展,并考虑了三种不同的逻辑,对应于自动机的三种不同的接受条件。结果表明,这些逻辑都具有相同的表达能力,它们的决策问题都是PSPACE完备的。作者还研究了由交替自动机定义的连接词,发现它们并没有增加逻辑的表达能力或决策问题的复杂性。
审核人:李翔(贵阳)

理学硕士:
03B45型 模态逻辑(包括规范逻辑)
03D05年 自动机与形式文法与逻辑问题
03D15号 计算复杂性(包括隐式计算复杂性)
68问25 算法与问题复杂度分析
68Q45号 形式语言与自动机
PDF格式 BibTeX公司 XML 引用
全文: 内政部