不動點定理 - 維基百科，自由的百科全書

在程式語言的指稱語義，一個克納斯特－塔斯基定理的特例用於建立 遞歸定義的語義。 不動 ... 迭代函數找 不動點 ...

zh.wikipedia.org