Eitemau Tebyg: An Introduction to automata theory and formal languages