A CKY parser for picture grammars

We study the complexity of the membership or parsing problem for pictures generated by a family of picture grammars: Siromoney's Context-Free Kolam Array grammars (coincident with Matz's context-free picture grammars). We describe a new parsing algorithm, which extends the Cocke, Kasami and Younger's classical parsing technique for string languages and preserves the polynomial time complexity.

[1]  Yasunori Yamamoto,et al.  Two-Dimensional Uniquely Parsable Isometric Array Grammars , 1992, Int. J. Pattern Recognit. Artif. Intell..

[2]  Rani Siromoney,et al.  Picture Languages with Array Rewriting Rules , 1973, Inf. Control..

[3]  Harry R. Lewis,et al.  Complexity of solvable cases of the decision problem for the predicate calculus , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).

[4]  Daniel H. Younger,et al.  Recognition and Parsing of Context-Free Languages in Time n^3 , 1967, Inf. Control..

[5]  Kamala Krithivasan,et al.  Pattern Matching in Matrix Grammars , 1998, J. Autom. Lang. Comb..

[6]  Matteo Pradella,et al.  Tile rewriting grammars and picture languages , 2005, Theor. Comput. Sci..

[7]  Rani Siromoney,et al.  On Equal Matrix Languages , 1969, Inf. Control..

[8]  Cristopher Moore,et al.  Complexity of Two-Dimensional Patterns , 1998 .

[9]  Hao Wang.  Proving theorems by pattern recognition — II , 1961 .

[10]  Antonio Restivo,et al.  Two-Dimensional Languages , 1997, Handbook of Formal Languages.

[11]  Antonio Restivo,et al.  Recognizable Picture Languages , 1992, Int. J. Pattern Recognit. Artif. Intell..

[12]  Rani Siromoney,et al.  Puzzle Grammars and Context-Free Array Grammars , 1991, Int. J. Pattern Recognit. Artif. Intell..

[13]  Azriel Rosenfeld,et al.  Picture languages: Formal models for picture recognition , 1979 .

[14]  Yasunori Yamamoto,et al.  The complexity of some decision problems about two-dimensional array grammars , 1983, Inf. Sci..

[15]  Grzegorz Rozenberg,et al.  Handbook of formal languages, vol. 3: beyond words , 1997 .

[16]  Oliver Matz,et al.  Regular Expressions and Context-Free Grammars for Picture Languages , 1997, STACS.