research
∙
08/20/2023
Computing backwards with Game of Life, part 1: wires and circuits
Conway's Game of Life is a two-dimensional cellular automaton. As a dyna...
share
research
∙
05/02/2023
Diddy: a Python toolbox for infinite discrete dynamical systems
We introduce Diddy, a collection of Python scripts for analyzing infinit...
research
∙
03/30/2023
The group of reversible Turing machines: subgroups, generators and computability
We study an abstract group of reversible Turing machines. In our model, ...
research
∙
03/01/2023
Finding codes on infinite grids automatically
We apply automata theory and Karp's minimum mean weight cycle algorithm ...
research
∙
08/01/2022
Distortion element in the automorphism group of a full shift
We show that there is a distortion element in a finitely-generated subgr...
research
∙
10/01/2021
Bootstrap Percolation and Cellular Automata
We study qualitative properties of two-dimensional freezing cellular aut...
research
∙
11/16/2020
Conjugacy of reversible cellular automata
We show that conjugacy of reversible cellular automata is undecidable, w...
research
∙
10/27/2020
Simulations and the Lamplighter group
We introduce a notion of "simulation" for labelled graphs, in which edge...
research
∙
03/12/2020
Four heads are better than three
We construct recursively-presented finitely-generated torsion groups whi...
research
∙
02/20/2020
Cutting Corners
We define and study a class of subshifts of finite type (SFTs) defined b...
research
∙
01/11/2019