排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
2.
Giammarresi与Restivo在一篇综述中总结出一个关于可识别的图像语言(即2维矩形语言)REC的等价性定理.对比1维字语言的相应结果,其中还缺少关于生成文法的相应一环.提出了一种(矩形的)格点文法,正好弥补了这一缺环.而取代2维on-line tesselation自动机,引入了格点自动机的概念.一方面,它与经典的2元树型自动机更相似,另一方面,它也是格点文法与等价性定理中关于REC的其他描述方式之间的一座桥梁.同时,标准的existential monadic二阶逻辑也被一种更弱的规范框架——positive monadic分划逻辑所取代.由此导出一个新的更完整的关于REC的等价性定理. 相似文献
3.
命题时态逻辑的分划式扩充 总被引:1,自引:0,他引:1
在PTL(propositional temporal logic)上加入一个U算子的自然拓广-2分划算子,便导出了Wolper-Vardi-Sistla之ETL(extend PTL)的一个完全的子逻辑,它有更简洁的语法及公理系统、更好地判定算法等,是研究有限状态并发程序的一种理想的规范语言。 相似文献
1