Origami fold as algebraic graph rewriting

• Autores: Tetsuo Ida, Hidekazu Takahashi
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 45, Nº 4, 2010, págs. 393-413
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • We formalize paper fold (origami) by graph rewriting. Origami construction is abstractly described by a rewriting system , where is the set of abstract origamis and is a binary relation on , that models fold. An abstract origami is a structure (?,,), where ? is a set of faces constituting an origami, and and are binary relations on ?, each representing adjacency and superposition relations between the faces.

    We then address representation and transformation of abstract origamis and further reasoning about the construction for computational purposes. We present a labeled hypergraph of origami and define fold as algebraic graph transformation. The algebraic graph-theoretic formalism enables us to reason about origami in two separate domains of discourse, i.e. pure combinatorial domain where symbolic computation plays the main role and geometrical domain . We detail the program language for the algebraic graph rewriting and graph rewriting algorithms for the fold, and show how fold is expressed by a set of graph rewrite rules.