أرسل هذا في رسالة قصيرة: Introduction to languages, machines and logic :