تنتهي الحسابات فقط إذا كان البند الأخير يعطي قيمة الدالة المتكررة المطبقة على المدخلات.
The computation terminates only if the final term gives the value of the recursive function applied to the inputs.