復迭式的一種推廣.一般遞歸式的一個特例.函式f經一般復迭式由,g,h,k定義，是指f滿足:上式稱為一般復迭式，其特點是在第二式右邊遞歸變元y不單獨出現.但實際上，一般遞歸式可以化歸到一般復迭式.由一般復迭式也可定義一個一般復迭運算元itg，它由下式定義，
