أرسل هذا في رسالة قصيرة: Theory of automata, formal languages and computation