Pātuhitia tēnei: Theory of computation