Anfonwch hwn fel neges destun: Algebraic theory of automata and languages