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. Drewes | 1 | 104 | 6.85 |
Hans-jörg Kreowski | 2 | 298 | 37.05 |