PUZZLE GRAMMARS AND CONTEXT-FREE ARRAY GRAMMARS
Maurice Nivat, A. Saoudi, K. G. Subramanian, Rani Siromoney, Vincent Rajkumar Dare
Abstract
Maurice Nivat, A. Saoudi, K. G. Subramanian, Rani Siromoney, Vincent Rajkumar Dare
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 undecidable.
OpenAlex reports 33 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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 undecidable.
Key concepts: Tree-adjoining grammar, Embedded pushdown automaton, Context-sensitive grammar, Context-free grammar, Phrase structure grammar, Indexed grammar, Rule-based machine translation, L-attributed grammar