Anfonwch hwn fel neges destun: Semigroups and formal languages