嵌套遞歸式

嵌套遞歸式(nested recursion schema)遞歸論術語.指一種遞歸定義函式的模式.在遞歸定義函式f時，為了確定f在某處的值(如f(u,x+1))，可以利用在它“之前”的一些f之值(例如f<u,x)等)，假若這些f值本身又依賴於f的其他一些“在前”的f值，則這種f的遞歸定義方式稱為嵌套的.例女口:

就是一個具二重嵌套的嵌套遞歸式.多重嵌套的情形類似，只是形式更複雜一些.此外，對具多個遞歸變元的遞歸定義式的含義也與此相仿.一般地，嵌套的多重遞歸式不能化歸到原始遞歸式.