The last part of Lemma 3.51 about the generated group is stated incorrectly. Independently from that, the argumentation below Corollary 3.8 is flawed. This affects Proposition 3.9, Theorem 3.12, Corollary 3.13 and Corollary 3.14. In particular, the question whether the freeness problem for automaton semigroups is decidable remains open.
AUTOMATON SEMIGROUPS AND GROUPS: ON THE UNDECIDABILITY OF PROBLEMS RELATED TO FREENESS AND FINITENESS (vol 237, pg 15, 2020)
Rodaro, E;
2021-01-01
Abstract
The last part of Lemma 3.51 about the generated group is stated incorrectly. Independently from that, the argumentation below Corollary 3.8 is flawed. This affects Proposition 3.9, Theorem 3.12, Corollary 3.13 and Corollary 3.14. In particular, the question whether the freeness problem for automaton semigroups is decidable remains open.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
