Automata and Formal Languages
The course page is
here
.