Pātuhitia tēnei: Semigroups and formal languages