The following pages contain notes about many aspects of automata theory.

Basic Concepts
Definition of the central concepts used in Automata Theory and Formal Languages: alphabets, languages, finite automatas, etc.