可計算函式

任何可計算函式都可以使用 while 迴圈（即，“當某事為真時，執行其他操作”）併入程式中。For 迴圈（具有固定的迭代限制）是 while 迴圈的特例，因此可計算函式也可以使用 for 迴圈和 while 迴圈的組合進行編碼。阿克曼函式是一個良定義全函式的最簡單示例，該函式是可計算的但不是原始遞迴的，這為 1900 年代早期認為每個可計算函式也是原始遞迴函式的觀點提供了一個反例 (Dötzel 1991)。