首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  免费   0篇
  国内免费   2篇
自动化技术   3篇
  2000年   1篇
  1996年   2篇
排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
本文利用模型论博奕理论的方法证明了(P1,1)能够刻画正则语言.由此我们得到结论:在有限的离散线性序上(P1,1)和Monadic二阶逻辑的刻画能力是一致的.  相似文献   
2.
沈恩绍 《软件学报》2000,11(7):871-880
Giammarresi与Restivo在一篇综述中总结出一个关于可识别的图像语言(即2维矩形语言)REC的等价性定理.对比1维字语言的相应结果,其中还缺少关于生成文法的相应一环.提出了一种(矩形的)格点文法,正好弥补了这一缺环.而取代2维on-line tesselation自动机,引入了格点自动机的概念.一方面,它与经典的2元树型自动机更相似,另一方面,它也是格点文法与等价性定理中关于REC的其他描述方式之间的一座桥梁.同时,标准的existential monadic二阶逻辑也被一种更弱的规范框架——positive monadic分划逻辑所取代.由此导出一个新的更完整的关于REC的等价性定理.  相似文献   
3.
命题时态逻辑的分划式扩充   总被引:1,自引:0,他引:1  
沈恩绍 《软件学报》1996,7(A00):447-454
在PTL(propositional temporal logic)上加入一个U算子的自然拓广-2分划算子,便导出了Wolper-Vardi-Sistla之ETL(extend PTL)的一个完全的子逻辑,它有更简洁的语法及公理系统、更好地判定算法等,是研究有限状态并发程序的一种理想的规范语言。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号