Что такое минимизация (μ-функция) в реаменте TEMS?

Question

в компьютерной науке μ-функция используется для расширения набора примитивно рекурсивных функций в целом рекурсивные функции, и я не могу понять, что делает эту функцию.

Есть много формул, но я не могу понять, что есть.Скажем, я пишу в Python (или любой другой язык общего назначения).Что такое примеры μ-функциональной IRL?

Answer 1

Это минимизация в Python:

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

.

Это немного более сложное упражнение для преобразования генеракодичета на $ \ mu $ , но по сути, $ \ mu$ выполняет поиск первого ( минимальный номер ), удовлетворяющий данному условию, где нет гарантии, что поиск добится успеха.