Degree thesis for Theory of Automata for Computer science's students