Title: Introduction to automata