Помогите разобраться с понятием частично рекурсивных функции.
Пытался по всякому разобраться с этим понятием, но вижу что безуспешно. (Ну просто не понимаю и всё)
Может тут найдутся люди которые смогут более менее элементарно объяснить что это такое вообще и с чем это все едят (зачем это всё нужно и где может пригодится).
Попробую описать, что именно мне не понятно.
Допустим с примитивно рекурсивным классом функции у меня более менеее сформировалось понятие что это такое.
Я понимаю его как - класс где функции состоят
(1) Из простейших функций
(2) Из функции созданных из простейших преминя к ним рекурсию
(3) Из (1) и (2) при помощи оператора суперпозиции.
А с частично рекурсивными у меня никак не выходит понять, потому-что не понимаю до конца что такое оператор минимизации.
Понял только что при помощи него можно найти минимальное значение последнего аргумента при заданном наборе аргументов, но зачем это нужно я так и не понял.
И как-то можно найти обратную функцию, что я тоже никак не понял.
Вообще у меня такой тупик с изучением теории алгоритмов, что даже трудно объяснить что именно мне непонятно. Запутался сильно, поймите меня правильно.
Буду благорен если кто-то хоть как-то поможет.
)
, ну почему класс примитивно-рекурсивных функции неохватывает все функции и как выглядят функции не принадлежашии этому классу. Знаю только функцию Аккермана, но немогу её до конца понять, тоесть робовал вычислять её ри разных аргументах но там всё так запутанно 
