Eitemau Tebyg: An introduction to automata theory and formal languages