"If the procedure is given a k-tuple x in the domain of f, then after a finite number of discrete steps the procedure must terminate and produce f(x)."
"Ако је поступку дата к-торка x у домену f, а затим коначни број дискретних корака поступка се мора прекинути и произвести f(x)."