Anfonwch hwn fel neges destun: Algorithms determining finite simple images of finitely presented groups