Pātuhitia tēnei: Theory of automata, formal languages and computation