أرسل هذا في رسالة قصيرة: Formal properties of finite automata and applications :