Theory of Automata and Computation home tutors in Pocket 4