-
Conjugacy of reversible cellular automata
We show that conjugacy of reversible cellular automata is undecidable, w...
read it
-
Simulations and the Lamplighter group
We introduce a notion of "simulation" for labelled graphs, in which edge...
read it
-
Four heads are better than three
We construct recursively-presented finitely-generated torsion groups whi...
read it
-
Cutting Corners
We define and study a class of subshifts of finite type (SFTs) defined b...
read it
-
Alternation diameter of a product object
We prove that every permutation of a Cartesian product of two finite set...
read it

Ville Salo
is this you? claim profile