Pātuhitia tēnei: Teoría de autómatas y lenguajes formales