Automatic Groups: A Brief Introduction

The goal of this thesis is to provide a gentle introduction to the concept of automatic groups, uniting techniques from formal language theory and geometric group theory. We review relevant notions and tools from theoretical computer science and geometric group theory, then survey the basic definitions, properties, and variants of automatic groups. Finally, we discuss examples and non-examples to illustrate when and why a group admits an automatic structure.