论文部分内容阅读
Ｇｉａｍｍａｒｒｅｓｉ与Ｒｅｓｔｉｖｏ在一篇综述中总结出一个关于可识别的图像语言（即２维矩形语言）ＲＥＣ的等价性定理，对比１维字语言的相应结果，其中还缺少关于生成文法的相应一环，提出了一种（矩形的）格点文法，正好弥补了这一缺环，而取代２维ｏｎ－ｌｉｎｅ ｔｅｓｓｅｌａｔｉｏｎ自动机；引入了格点自动机的概念。一方面，它与经典的２元树型自动机更相似，另一方面，它也是格点文法与等价性定理中关于ＲＥＣ的其