THE FINITENESS PROBLEM FOR AUTOMATON SEMIGROUPS IS UNDECIDABLE

From MaRDI portal
Publication:5410736

DOI10.1142/S0218196714500015zbMath1292.20040arXiv1304.2295MaRDI QIDQ5410736

Pierre Gillibert

Publication date: 17 April 2014

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1304.2295




Related Items (31)

Crisp-determinization of weighted tree automata over strong bimonoidsOn the complexity of the word problem for automaton semigroups and automaton groupsCorrigendum to: ``Automaton semigroups and groups: on the undecidability of problems related to freeness and finitenessAutomaton semigroups: the two-state case.Freeness of automaton groups vs boundary dynamicsA Connected 3-State Reversible Mealy Automaton Cannot Generate an Infinite Burnside GroupAutomaton groups and complete square complexesOrbit automata as a new tool to attack the order problem in automaton groupsAutomaton semigroups and groups: on the undecidability of problems related to freeness and finitenessAn automaton group with undecidable order and Engel problemsSome undecidability results for asynchronous transducers and the Brin-Thompson group $2V$The word problem for finitary automaton groupsA Connected 3-State Reversible Mealy Automaton Cannot Generate an Infinite Burnside GroupOn a class of poly-context-free groups generated by automataAn automaton group with \textsf{PSPACE}-complete word problemAutomaton (Semi)groups: Wang Tilings and Schreier TriesAutomaton semigroups: new constructions results and examples of non-automaton semigroupsAlgorithmic Decidability of Engel’s Property for Automaton GroupsPermutive one-way cellular automata and the finiteness problem for automaton groupsUnnamed ItemUnnamed ItemGeneric properties in some classes of automaton groupsOn Torsion-Free Semigroups Generated by Invertible Reversible Mealy AutomataOn orbits and the finiteness of bounded automaton groupsOrbit expandability of automaton semigroups and groupsAutomaton semigroup constructions.Infinite automaton semigroups and groups have infinite orbitsGraph automaton groupsThe word and order problems for self-similar and automata groupsOn the structure theory of partial automaton semigroupsA New Hierarchy for Automaton Semigroups



Cites Work


This page was built for publication: THE FINITENESS PROBLEM FOR AUTOMATON SEMIGROUPS IS UNDECIDABLE