图片语法的统一方法
摘要：基于像素阵列重写规则的几种旧的和最新的图片文法类别，分别在二维空间中扩展了上下文无关字符串文法。这些文法可以通过使用基于平铺的方法进行统一和扩展，即通过一组允许的有限平铺来形式化规则的右部分。我们着重于一种简单的平铺类型，称为区域平铺，并定义相应的区域平铺文法。它们包括Siromoney（或Matz）的Kolam文法及其由Prusa推广的一般化形式，以及Drewes的网格文法。可以使用扩展了CKY算法的多项式时间复杂度算法来识别区域定义的图片。区域平铺文法和语言严格包含在我们之前的平铺文法和语言中，并且与Giammarresi-Restivo平铺系统（或Wang系统）不可比较。
作者：Matteo Pradella, Alessandra Cherubini, Stefano Crespi Reghizzi
论文ID：0910.2829
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-01-11