Formal Languages and their Application to Combinatorial Group Theory Abstract. This article is an introduction to formal languages and their connections with combinatorial group theory. Contents Introduction 1 Notation and Definitions 2 Regular Languages 2 Rational Sets 9 Context Free Languages 14 Indexed Languages 25 Other Language Classes 41 References 42