For periodic/symmetric tilings, it seems somewhat "obvious" to me that it just comes down to working out the right group of symmetries for each of the relevant shapes/tiles, but its not clear to me if that carries over in any nice algebraic way for more complicated objects such as a [penrose tiling](http://en.wikipedia.org/wiki/Penrose_tiling)
 and just following [wikipedia](http://en.wikipedia.org/wiki/Quasicrystal) just leads to the statement that groupoids come into play, but with no references to example constructions! Moreover, at least naively thinking about, it seems any such algebraic approach should naturally also apply to fractals.


1. what references am I somehow not able to find that do a good job talking about this further?
2. is my "intuition" that the mathematical structure for at least some classes of fractals and quasicrystals being equivalent correct?



What is the right way to think about / represent general  tilings?
Aperiodic tilings can be thought of (in a sometimes useful way) as leaves of laminations; the groupoid in question (as in Emily's answer) is then the holonomy groupoid of the lamination.


There is a standard description of the Penrose tiles in this way; think of an irrational plane (i.e. an $R^2$) in $R^n$ for some $n>2$, and consider the set of 2-dimensional faces of the $Z^n$ lattice in $R^n$ that intersect a (uniform) thickened tubular neighborhood of your plane. Project each such 2-dimensional face perpendicularly down to your plane; the result is an aperiodic tiling. If the irrational plane happens to be chosen with extra symmetries (eg it could be an eigenspace of a finite order element in $GL(n,Z)$) one gets quite a tile set with extra "partial symmetries". The Penrose tiling is of this kind: think of $Z/5Z$ permuting the coordinate axes in $R^5$. This fixes the vector $(1,1,1,1,1)$ and has two perpendicular irrational eigenspaces on which it acts as an order 5 rotation; translates of these eigenspaces give rise to the "standard" Penrose tilings.


The lamination in this case is the "irrational foliation" of the torus $R^5/Z^5$ by planes with slope equal to the slope of the $R^2$ (and one can easily imagine generalizations).


