1991
DOI: 10.1142/s0218001491000399
|View full text |Cite
|
Sign up to set email alerts
|

Puzzle Grammars and Context-Free Array Grammars

Abstract: We introduce a new model for generating finite, digitized, connected pictures called puzzle grammars and study its generative power by comparison with array grammars. We note how this model generalizes the classical Chomskian grammars and study the effect of direction-independent rewriting rules. We prove that regular control does not increase the power of basic puzzle grammars. We show that for basic and context-free puzzle grammars, the membership problem is NP-complete and the emptiness problem is undecidab… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
5

Citation Types

0
8
0

Year Published

1992
1992
2023
2023

Publication Types

Select...
6
4

Relationship

0
10

Authors

Journals

citations
Cited by 28 publications
(8 citation statements)
references
References 0 publications
0
8
0
Order By: Relevance
“…Motivated by the problem of tiling, puzzle grammars that fall under the category of syntactic techniques have been proposed by Nivat et al [9]. Syntactic methods have become one of the main areas of investigation in theoretical studies on digital pictures and image analysis.…”
Section: Introductionmentioning
confidence: 99%
“…Motivated by the problem of tiling, puzzle grammars that fall under the category of syntactic techniques have been proposed by Nivat et al [9]. Syntactic methods have become one of the main areas of investigation in theoretical studies on digital pictures and image analysis.…”
Section: Introductionmentioning
confidence: 99%
“…On the other hand, models defining pictures that are connected arrays but not necessarily rectangular have been proposed as early as in the 70's in [8] and a hierarchy of these grammars was considered in [15,13]. A related class of grammars for picture generation, again not necessarily rectangular, has been proposed in [7]. A new model of recognizable picture languages, extending to two dimensions the characterization of the one-dimensional recognizable languages in terms of alphabetic morphisms of local languages, has been introduced in [3].…”
Section: Introductionmentioning
confidence: 99%
“…Ceterchi et al began a study on linking the two areas of membrane computing and picture grammars by relating P systems and array rewriting grammars generating picture languages and proposing array rewriting P systems [2]. Subsequently, a number of P systems with array objects and different kinds of rewriting were introduced in [5,10,11]. The two dimensional grammar models called puzzle grammars for generating connected arrays of unit cells are discussed in [12,13].…”
Section: Introductionmentioning
confidence: 99%