Pātuhitia tēnei: Aspectos teóricos da computacao