THEORY OF AUTOMATA AND FORMAL LANGUAGES EIT-072 -AKTU