Title
(UN-)DECIDABILITY OF GEOMETRIC PROPERTIES OF PICTURES GENERATED BY COLLAGE GRAMMARS
Abstract
Collage grammars are based on hyperedge replacement in a geometric environment and provide context-free syntactic devices for the generation of picture languages. An intriguing question is which geometric properties of the generated pictures can be decided by inspecting the generating collage grammars. The results presented in this paper address the question in two respects. (1) The decidability results known for hyperedge replacement grammars generating graph languages, based on the notion of compatibility, can be carried over to collage grammars. Unfortunately, compatible properties seem rare in the geometric setting. In this paper three concrete ones are presented. (2) In some other cases being only a minor extensions of situations for which compatibility is obtained, we can prove undecidability results.
Year
DOI
Venue
1996
10.3233/FI-1996-253407
Fundam. Inform.
Keywords
Field
DocType
geometric properties,context-free syntactic device,decidability result,collage grammars,geometric property,geometric environment,geometric setting,intriguing question,generating collage grammar,pictures generated,compatible property,collage grammar,hyperedge replacement
Rule-based machine translation,Tree-adjoining grammar,Discrete mathematics,Graph,L-attributed grammar,Algebra,Indexed grammar,Phrase structure grammar,Decidability,Syntax,Mathematics
Journal
Volume
Issue
Citations 
25
3
4
PageRank 
References 
Authors
0.44
7
2
Name
Order
Citations
PageRank
F. Drewes11046.85
Hans-jörg Kreowski229837.05