أرسل هذا في رسالة قصيرة: Theory of computation : (with formal languages)