自动机，逻辑与博弈

来源 :计算机工程 | 被引量 : 0次 | 上传用户：lincystar

【摘要】

：

讨论了特定的自动机、自动机的识别能力、逻辑的表达能力和博弈思想的关系.使用博弈思想可以比较容易地证明一元二阶逻辑(SIS和S2S)的可决定性.主要考虑线性时间(linear time

【作者】

：

沈浩孙永强

【机构】

：

上海交通大学计算机系

【出处】

：

计算机工程

【发表日期】

：

2003年20期

【关键词】

：

自动机博弈时态逻辑互模拟模型检查 Automata Game Temporal logic Bisimulation Model checking

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

讨论了特定的自动机、自动机的识别能力、逻辑的表达能力和博弈思想的关系.使用博弈思想可以比较容易地证明一元二阶逻辑(SIS和S2S)的可决定性.主要考虑线性时间(linear time)与分支时间(branch time)两种情况,通过这些逻辑与别的时态逻辑的表达能力的等价性可以证明其它逻辑也具有决定性,可以设计相应的自动机去解决模型检查(Model Checking)问题.

其他文献

基于FPGA的FSK调制与接收系统设计

【摘要】频移键控是用不同频率的载波来传输数字信号，并用数字基带信号控制载波信号的频率。二进制频移键控是用两个不同频率的载波来代表数字信号两种电平。接收端收到不同的载波信号再进行逆变成为数字信号，完成信号的传输过程。本文主要介绍了一种基于FPGA芯片设计FSK调制解调器的基本原理，并使用相应的VHDL语言对该原理进行描述，该设计以ALTERA公司的大规模集成电路芯片为核心，使得电路简洁、可靠性高。　

期刊

FPGAFSKVHDL大规模集成电路

自行车双层停车架中的助力机构设计

本文设计一种新型自行车双层停车架,上层停车架采用垂直升降式,不用时可以折叠收纳放入主体立柱,提高空间利用率,为上层架的提升和收纳动作设计助力机构,使停车操作变得简单

期刊

自行车双层停车架助力机构恒力弹簧bicycleRack of Double-Deck TypeAssistingMechanismConstant

基于PLC的齿轮淬火机床全自动上料机控制系统设计

根据企业生产的实际需求,设计了一台齿轮淬火机床全自动上料机,主要介绍齿轮淬火机床全自动上料机控制系统设计,控制系统采用PLC为控制核心,触摸屏做人机交互设计.分析了上料

期刊

上料机PLC触摸屏feeding machine PLC touch screen

培养逆向思维,发展数学核心素养

现如今,人们愈发重视学生数学核心素养的发展,逆向思维这一种重要的数学思维方式也变得更加重要。逆向思维对于开阔学生的数学视野,提升其数学思维的灵活性有着积极的促进作

期刊

逆向思维核心素养初中数学Reverse thinkingCore literacyJunior high school mathematics

灵性引导学语文实现智慧教语文

语文是一门培养学生语言综合能力的学科，在语文学习中，学生的主体地位固然重要，而教师的教学智慧也同样重要，因为学生在学习过程是动态变化的，这对教师的课堂把控能力提出了挑战。

期刊

智慧教学共学文本自主感悟创新表达

自主创新国家战略中的多层次资本市场建设

20世纪90年代以来,世界经济进入快速发展期,世界经济格局发生质变——科技创新成为经济增长的主要推动力。在新的世界经济格局中,科技特别是高科技日益成为国际竞争的核心资

期刊

自主创新多层次资本市场中小企业市场失灵融资

刍议生活化教学理念在高中历史教学中的应用

历史学科是高中教育阶段中的一门基础课程,在教学活动中发挥着极为重要的作用,诸多高中历史教师为了将教学质量提高,帮助学生更好地把历史知识掌握和学习到,纷纷开始在课堂教

期刊

生活化理念高中历史教学

自动机，逻辑与博弈

其他学术论文