أرسل هذا في رسالة قصيرة: The finite representation of abstract programs by automata and Petri nets /