Tilings: Recursivity and Regularity

  • Authors:

  • Julien Cervelle;Bruno Durand

  • Affiliations:

  • -;-

  • Venue:
  • STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

We establish a first step towards a "Rice theorem" for tilings: for non-trivial sets, it is undecidable to know whether two different tile sets produce the same tilings of the place. Then, we study quasiperiodicity functions associated with tilings. This function is a way to measure the regularity of tilings. We prove that, not only almost all recursive functions can be obtained as quasiperiodicity functions, but also, a function which overgrows any recursive function.