1: \begin{abstract}
2: \noindent
3: Let $\GG$ be a connected, locally finite graph of finite tree width and
4: $G$ be a group acting on it with finitely many orbits and finite node stabilizers.
5: We provide an elementary and direct construction of a tree $T$ on which
6: $G$ acts with finitely many orbits and finite vertex stabilizers.
7: Moreover, the tree is defined directly in terms of
8: the structure tree of optimally nested cuts of $\GG$.
9: Once the tree is constructed, Bass-Serre theory yields that $G$ is virtually free. This approach simplifies the existing proofs for the fundamental result of Muller and Schupp that characterizes context-free groups
10: as f.g.~virtually free groups. Our construction avoids the explicit use of Stallings' structure theorem and it is self-contained.
11:
12: We also give a simplified proof for an important consequence of the structure tree theory by Dicks and Dunwoody which has been stated by Thomassen and Woess. It says that a f.g.{} group is accessible if and only if its Cayley
13: graph is accessible.
14: \medskip
15:
16: \noindent
17: \textbf{Keywords.}\,
18: %
19: Combinatorial group theory, context-free group, structure tree, finite treewidth, accessible graph.
20:
21: \noindent
22: \textbf{AMS classification:}
23: 05C25, %(Graphs and groups)
24: 20E08, %(groups acting on trees)
25: 20F10, %(Word problems, other decision problems, connections with logic and automata)
26: 20F65. %(Geometric group theory)
27: \end{abstract}
28: