嵌套遞歸式(nested recursion schema)遞歸論術語.
基本介紹
- 中文名：嵌套遞歸式
- 外文名：nested recursion schema
- 類型：計算機科學術語
指一種遞歸定義函式的模式.在遞歸定義函式f時，為了確定f在某處的值(如f(u,x+1))，可以利用在它“之前”的一些f之值(例如(f＜u,x)等)，假若這些f值本身又依賴於f的其他一些“在前”的f值，則這種f的遞歸定義方式稱為嵌套的.例女口:
嵌套遞歸式
就是一個具二重嵌套的嵌套遞歸式.多重嵌套的情形類似，只是形式更複雜一些.此外，對具多個遞歸變元的遞歸定義式的含義也與此相仿.一般地，嵌套的多重遞歸式不能化歸到原始遞歸式.
