Pātuhitia tēnei: Théorie structurelle des automates finis