An introduction to the mathematical theory of computability. Formal languages. Finite automata and regular expression...