Japan Journal of Industrial and Applied Mathematics

, 16:47

The Moore-Myhill pseudo tiling for the Heisenberg tessellation automata

  • Shûichi Yukita
Article

DOI: 10.1007/BF03167524

Cite this article as:
Yukita, S. Japan J. Indust. Appl. Math. (1999) 16: 47. doi:10.1007/BF03167524

Abstract

The notions of a Garden-of-Eden (GOE) configuration and mutually erasable configurations were discovered and investigated in the framework of Euclidean tessellations in the 1960s and 1970s. In 1993, Machi and Mignosi extended the GOE theorem for tessellation automata on Cayley graphs of non-exponential growth. We give an alternative proof to the GOE theorem for the discrete Heisenberg groups. Our proof has the advantage that it fully exploits the particular group structure so that a Moore-Myhill like tiling can be explicitly constructed. The tiling, as the wording suggests, is a spatially economic covering. The non-uniform packing method is introduced as a key technique for the construction.

Key words

tessellation automataHeisenberg groupsGarden-of-Eden theoremnon-Euclidean tessellationMoore-Myhill pseudo tiling

Copyright information

© JJIAM Publishing Committee 1999

Authors and Affiliations

  • Shûichi Yukita
    • 1
  1. 1.Department of Computer SoftwareThe University of AizuFukushimaJapan