Slides for Theory of Formal Languages for Automata for Computer science's students