23 citations · 100 across the 28 of their papers we have counts for
5 papers · 1 filter
The group of reversible Turing machines: subgroups, generators and computability
Sebastián Barbieri, Jarkko Kari, Ville Salo
We study an abstract group of reversible Turing machines. In our model, each machine is interpreted as a homeomorphism over a space which represents a tape filled with symbols and…
Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata
Pierre Béaur, Jarkko Kari
Many decision problems concerning cellular automata are known to be decidable in the case of algebraic cellular automata, that is, when the state set has an algebraic structure and…
Expansivity and periodicity in algebraic subshifts
Jarkko Kari
A d-dimensional configuration c : Z^d -> A is a coloring of the d-dimensional infinite grid by elements of a finite alphabet A \subseteq Z. The configuration c has an annihilator i…
On forced periodicity of perfect colorings
Pyry Herva, Jarkko Kari
We study forced periodicity of two-dimensional configurations under certain constraints and use an algebraic approach to multidimensional symbolic dynamics in which -dimensional…
On perfect coverings of two-dimensional grids
Elias Heikkilä, Pyry Herva, Jarkko Kari
We study perfect multiple coverings in translation invariant graphs with vertex set using an algebraic approach. In this approach we consider any such covering as a…