Pātuhitia tēnei: Elements of the Theory of Computation