The difference between an inductive Turing machine and an ordinary Turing machine is that an ordinary Turing machine must stop when it has obtained its result, while in some cases an inductive Turing machine can continue to compute after obtaining the result, without stopping.
مثال‌هایی از الگوریتم‌های مافوق بازگشتی شامل موارد زیر می‌شود:* استنادهای آزمون و خطا * ماشین‌های تورینگ استدلالی، که محاسباتی شبیه به محاسبات ماشین‌های تورینگ را انجام می‌دهند و نتایج آن‌ها را پس از تعداد قدم‌های محدودی تولید می‌کنند.