113 research outputs found
Hyperbolic tilings and formal language theory
In this paper, we try to give the appropriate class of languages to which
belong various objects associated with tessellations in the hyperbolic plane.Comment: In Proceedings MCU 2013, arXiv:1309.104
The finite tiling problem is undecidable in the hyperbolic plane
In this paper, we consider the finite tiling problem which was proved
undecidable in the Euclidean plane by Jarkko Kari in 1994. Here, we prove that
the same problem for the hyperbolic plane is also undecidable
About the domino problem in the hyperbolic plane, a new solution: complement
In this paper, we complete the construction of paper arXiv:cs.CG/0701096v2.
Together with the proof contained in arXiv:cs.CG/0701096v2, this paper
definitely proves that the general problem of tiling the hyperbolic plane with
{\it \`a la} Wang tiles is undecidable.Comment: 20 page
- …