Anfonwch hwn fel neges destun: Automata and theoretical computer science