素人TEMSの最小化（μ-function）とは何ですか？

Question

コンピュータサイエンスのμ-functionは、一般的に再帰的な関数のセットを拡張するために使用され、この関数が何をしているのか理解できません。

式がたくさんありますが、私は何があるのか理解できません。私はPython（または他の汎用言語）に書いているとしましょう。μ関数IRLの例とは何ですか？

Answer 1

Pythonでの最小化：

def mu(p):
    n = 0
    while not p(n):
        n += 1
    return n

.

whileを $ \ mu $ に変換するのは、わずかに複雑な演習ですが、 $ \ mu$ は、指定された条件を満たす最初の（最小）番号の検索を実行します。これは、検索が成功するという保証がないことがあります。