The purpose of this paper is to discuss some intriguing connections between
group theory and formal language theory. The main topics considered here a
re syntactic monoids and word problems in groups. We will talk about the ex
tent to which languages can be characterized by their syntactic monoids and
relate the theory of syntactic monoids to that of insertions and deletions
in languages. We finish off by drawing some of these themes together.