-
题名处理图像语言的格点自动机与格点文法(英文)
- 1
-
-
作者
沈恩绍
-
机构
上海交通大学计算机科学与工程系
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第7期871-880,共10页
-
基金
This research is supported by the National Natural Science Foundation of China(国家自然科学基金
No.6 96 730 0 9)
-
文摘
Giammarresi与 Restivo在一篇综述中总结出一个关于可识别的图像语言 (即 2维矩形语言 ) REC的等价性定理 .对比 1维字语言的相应结果 ,其中还缺少关于生成文法的相应一环 .提出了一种 (矩形的 )格点文法 ,正好弥补了这一缺环 .而取代 2维 on- line tesselation自动机 ,引入了格点自动机的概念 .一方面 ,它与经典的 2元树型自动机更相似 ,另一方面 ,它也是格点文法与等价性定理中关于 REC的其他描述方式之间的一座桥梁 .同时 ,标准的 existential monadic二阶逻辑也被一种更弱的规范框架—— positive monadic分划逻辑所取代 .由此导出一个新的更完整的关于
-
关键词
图像语言
格点自动机
格点文法
图像处理
-
Keywords
Formal language, picture language, grammar, automata, restricted second-order logic.
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
