أرسل هذا في رسالة قصيرة: Algorithms determining finite simple images of finitely presented groups