Corrigendum to: ``Automaton semigroups and groups: on the undecidability of problems related to freeness and finiteness

DOI10.1007/s11856-021-2206-1zbMath1484.20116MaRDI QIDQ2130510

Jan Philipp Wächter, Emanuele Rodaro, Daniele D'Angeli

Publication date: 25 April 2022

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11856-021-2206-1

Mathematics Subject Classification ID

20M05: Free semigroups, generators and relations, word problems

03D35: Undecidability and degrees of sets of sentences

68Q70: Algebraic theory of languages and automata

20M35: Semigroups in automata theory, linguistics, etc.

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

Cites Work

• Unnamed Item
• An automaton group with undecidable order and Engel problems
• The conjugacy problem in automaton groups is not solvable.
• Automaton semigroups and groups: on the undecidability of problems related to freeness and finiteness
• THE FINITENESS PROBLEM FOR AUTOMATON SEMIGROUPS IS UNDECIDABLE