23 citations · 100 across the 28 of their papers we have counts for
Showing math.GRShow all
3 papers · 1 filter
math.GR2023
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…
math.GR2021★ 1 cited
Addendum to "Tilings problems on Baumslag-Solitar groups"
Nathalie Aubrun, Jarkko Kari
In our article in MCU'2013 we state the the Domino problem is undecidable for all Baumslag-Solitar groups , and claim that the proof is a direct adaptation of the construc…
math.GR2016★ 19 cited
The group of reversible Turing machines
Sebastián Barbieri, Jarkko Kari, Ville Salo
We consider Turing machines as actions over configurations in which only change them locally around a marked position that can move and carry a particular state.…