Если Вы, как и я, сходу не осилили смысл примитивной рекурсии, то м.б. Вам станет понятнее что это такое если развернуть h(x, y + 1) для фиксированного y (натуральное число). Например, для y = 1.
- h(x,0) = f(x)
- h(x, 2) = g(x, 1, h(x, 1)) = g(x, 1, g(x, 0, h(x, 0))) = g(x, 1, g(x, 0, f(x)))
Кмк, это стоит добавить в материалы лекций.
y >= 0 (т.е. или натуральное число или 0)
Если при прочтении седьмой части курса, складывается впечатление, что, мягко говоря, абсолютно ничего непонятно, то начинаем чтение третей части пособия для авиаторов про машину Тьюринга « О. Ю. Агарева, Ю. В. Селиванов МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ», там все на пальцах разъяснено. Затем усложняем материал и систематизируем познания о рекурсивных функциях с форума ядерщиков « http://www.corum.mephist.ru/threads/%D0%94%D0%9C-%D0%A0%D0%B5%D0%BA%D1%8...»
После чего можно прочитать материал курса с пониманием дела.