أرسل هذا في رسالة قصيرة: Logic, automata, and algorithms /