Study notes for Theory of Automata for Engineering's students