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

D D'Angeli, E Rodaro, JP Wächter - Israel Journal of Mathematics, 2020 - Springer
freeness problem for automaton (semi)groups. Inspired by links between the freeness of an
automaton group and the dynamics on periodic points in the boundary of the dual automaton

[PDF][PDF] On the freeness of automata groups

D D'Angeli, E Rodaro - arXiv preprint arXiv:1410.6097, 2014 - researchgate.net
freeness of the groups generated by an invertible transducer in term of the dynamics on the
boundary of group … for the group (semigroup) generated by the dual automaton. Subsequently…

[BUCH][B] Groups, languages and automata

DF Holt, S Rees, CE Röver - 2017 - books.google.com
… connections between group theory and automata theory. We … connections; we see automata
used to encode complexity, to … free group on X; if |X| = k, then we say that F is the free group

The freeness problem for automaton semigroups

D D'Angeli, E Rodaro, JP Wächter - arXiv preprint arXiv:2402.01372, 2024 - arxiv.org
… We show that the freeness problems for automaton semigroups and for automaton monoids
are … In fact, there is a large body of work on the presentation of free groups (and semigroups) …

Semilinearity and context-freeness of languages accepted by valence automata

P Buckheister, G Zetzsche - … Symposium on Mathematical Foundations of …, 2013 - Springer
… by a valence automaton over a torsion group has a semilinear Parikh image. On the one …
every monoid M, the languages accepted by valence automata over M either (1) coincide with …

AUTOMATON SEMIGROUPS AND GROUPS: ON THE UNDECIDABILITY OF PROBLEMS RELATED TO FREENESS AND FINITENESS (vol 237, pg 15, 2020)

D D'Angeli, E Rodaro, J Wachter - Israel Journal of Mathematics, 2021 - re.public.polimi.it
… whether the freeness problem for automaton semigroups is … If the semigroup S acts on the
left on some monoid M, we … product, we still have a connection concerning their freeness. …

Closed subgroups in pro-V topologies and the extension problem for inverse automata

S Margolis, M Sapir, P Weil - International Journal of Algebra and …, 2001 - World Scientific
… general results on profinite topologies on groups. For a general reference on the theory of
groups, the … But there is much more to be gained from the freeness of F(A): we now turn to the …

On the decidability of semigroup freeness

J Cassaigne, F Nicolas - RAIRO-Theoretical Informatics and …, 2012 - cambridge.org
freeness problems over various semigroups: … automaton over X is also an automaton over
any superset of X. In particular, for any alphabet Σ, an automaton over Σ is also an automaton

Aspects of the theory of free groups

K Bencsath, B Fine, AM Gaglione… - … Problems in Groups and …, 2000 - Springer
… and was further extended to group actions on lR-trees and on more general A-trees. In …
group actions on A-trees, we look at the properties of n-freeness, local freeness and para-freeness

Stallings automata

J Delgado, E Ventura - … and Automata: GAGTA BOOK 3, 2024 - books.google.com
… Once the bijection between subgroups and automata is established, we focus on some …
to be fundamental as it characterizes (group) freeness, and can consequently be taken as …