1: \begin{abstract}

2: 

3:  In the 1980's Stallings \cite{stal} showed that every finitely

4: generated subgroup of a free group is canonically represented by a

5: finite minimal immersion of a bouquet of circles. In terms of the

6: theory of automata, this is a minimal finite inverse automaton.

7: This allows for the deep algorithmic theory of finite automata and

8: finite inverse monoids to be used to answer questions about

9: finitely generated subgroups of free groups.

10: 

11: 

12: In this paper we attempt to apply the same methods to other

13: classes of groups. A fundamental new problem is that the Stallings

14: folding algorithm must be modified to allow for ``sewing'' on

15: relations of non-free groups. We look at the class of groups that

16: are amalgams of finite groups. It is known that these groups are

17: locally quasiconvex and thus all finitely generated subgroups are

18: represented by finite automata. We present an algorithm to compute

19: such a finite automaton and use it to solve various algorithmic

20: problems.

21: 

22: \end{abstract}

23: