fb65f63fa95730eb.tex
1: \begin{abstract}
2:   We study subsets \(E\) of finitely generated groups where the set of all
3:   words over a given finite generating set that lie in \(E\) forms a
4:   context-free language. We call these sets \textit{recognisably context-free}.
5:   They are invariant of the choice of generating set and a theorem of Muller
6:   and Schupp fully classifies when the set \(\{1\}\) can be recognisably
7:   context-free. We extend Muller and Schupp's result to show that a group \(G\)
8:   admits a finite recognisably context-free subset if and only if \(G\) is
9:   virtually free. We show that every conjugacy class of a group \(G\) is
10:   recognisably context-free if and only if \(G\) is virtually free. We conclude
11:   by showing that a coset whose Schreier coset graph is quasi-transitive is
12:   recognisably context-free if and only if the Schreier coset graph
13:   is quasi-isometric to a tree.
14: \end{abstract}
15: