Attached: 2 images @simontatham@hachyderm.io Really cool blog post. I'd come across transducers in the context of Wang tiles (https://arxiv.org/pdf/1506.06492), but hadn't expected to see them show up here. A complementary approach to this is given by beta-numeration and the cut-and-project scheme. You'll have to take my word for it, since I haven't written up the details, but the space of Hat tilings with a marked tile is in bijection with the disjoint union of the closures of the shapes (wi...