The procedure is required to halt after finitely many steps in order to produce an output, but it may take arbitrarily many steps before halting.
يتطلب الإجراء التوقف بعد العديد من الخطوات المتناهية حتى ينتج مخرج، ولكنه قد يأخذ بشكل تعسفي الكثير من الخطوات قبل التوقف.