A list of applications of Stallings automata

نویسندگان
Ventura, Enric ID 1
Delgado, Jordi ID 2

1 Departament de Matemàtiques, Universitat Politècnica de Catalunya and Institut de Matemàtiques de la UPC-BarcelonaTech, Barcelona, Catalunya

2 Department of Mathematics, University of the Basque Country, Faculty of Science and Technology, Barrio Sarriena, s/n 48940 Leioa, Spain

doi
10.22108/toc.2021.130387.1905
چکیده

This survey is intended to be a fast (and reasonably updated) reference for the theory of Stallings automata and its applications to the study of subgroups of the free group, with the main accent on algorithmic aspects. Consequently, results concerning finitely generated subgroups have greater prominence in the paper. However, when possible, we try to state the results with more generality, including the usually overlooked non-(finitely-generated) case.

کلیدواژه‌ها
free group, subgroups, automaton, foldings, algorithmic problem