Course in Formal Languages, Automata and Groups