Anfonwch hwn fel neges destun: Formal properties of finite automata and applications :