An introduction to the formal study of automata and of related formal languages with applications in computer science.