Showing cs.FLShow all
2 papers · 1 filter
cs.FL2024
The Finiteness Problem for Automaton Semigroups of Extended Bounded Activity
Daniele D'Angeli, Emanuele Rodaro, Jan Philipp Wächter
We extend the notion of activity for automaton semigroups and monoids introduced by Bartholdi, Godin, Klimann and Picantin to a more general setting. Their activity notion was alre…
cs.FL2024
The Freeness Problem for Automaton Semigroups
Daniele D'Angeli, Emanuele Rodaro, Jan Philipp Wächter
We show that the freeness problems for automaton semigroups and for automaton monoids are undecidable and, thereby, solve an open problem listed by Grigorchuk, Nekrashevych and Sus…