Selected decision problems for square-refinement collage grammars

  • Authors:
  • Frank Drewes

  • Affiliations:
  • Department of Computing Science, Umeå University, Sweden

  • Venue:
  • Algebraic Foundations in Computer Science
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider collage grammars whose rules subdivide the unit square into smaller and smaller rectangles. The decidability status of selected decision problems for this type of grammars is surveyed: the membership problem, the emptiness and finiteness problems, connectedness and disconnectedness of the generated pictures, and the question whether a generated collage contains a rectangle whose lower-left corner is a point on the diagonal.