Здравствуйте, region41!
Имеем гёделев номер программы [font=Times][$947$][/font](P) = 188
Тогда [font=Times][$964$][/font]([font=Times][$946$][/font]
1,[font=Times][$946$][/font]
2,...,[font=Times][$946$][/font]
n) = [font=Times][$947$][/font](P) + 1 = 189 = BD
16 = 10111101
2 = 2
0 + 2
2 + 2
3 + 2
4 + 2
5 + 2
7n задает число команд МНР и определяется количеством единиц в числе 10111101
2. Видим, что n = 6
[font=Times][$964$][/font]([font=Times][$946$][/font]
1,[font=Times][$946$][/font]
2,[font=Times][$946$][/font]
3,[font=Times][$946$][/font]
4,[font=Times][$946$][/font]
5,[font=Times][$946$][/font]
6) = 2
[font=Times][$946$][/font][sub]1[/sub] + 2
[font=Times][$946$][/font][sub]1[/sub]+[font=Times][$946$][/font][sub]2[/sub]+1 + 2
[font=Times][$946$][/font][sub]1[/sub]+[font=Times][$946$][/font][sub]2[/sub]+[font=Times][$946$][/font][sub]3[/sub]+2 + 2
[font=Times][$946$][/font][sub]1[/sub]+[font=Times][$946$][/font][sub]2[/sub]+[font=Times][$946$][/font][sub]3[/sub]+[font=Times][$946$][/font][sub]4[/sub]+3 + 2
[font=Times][$946$][/font][sub]1[/sub]+[font=Times][$946$][/font][sub]2[/sub]+[font=Times][$946$][/font][sub]3[/sub]+[font=Times][$946$][/font][sub]4[/sub]+[font=Times][$946$][/font][sub]5[/sub]+4 + 2
[font=Times][$946$][/font][sub]1[/sub]+[font=Times][$946$][/font][sub]2[/sub]+[font=Times][$946$][/font][sub]3[/sub]+[font=Times][$946$][/font][sub]4[/sub]+[font=Times][$946$][/font][sub]5[/sub]+[font=Times][$946$][/font][sub]6[/sub]+5 = 2
0 + 2
2 + 2
3 + 2
4 + 2
5 + 2
7Легко увидеть, что:
[font=Times][$946$][/font]
1 = 0
[font=Times][$946$][/font]
1 + [font=Times][$946$][/font]
2 + 1 = 2
[font=Times][$946$][/font]
1 + [font=Times][$946$][/font]
2 + [font=Times][$946$][/font]
3 + 2 = 3
[font=Times][$946$][/font]
1 + [font=Times][$946$][/font]
2 + [font=Times][$946$][/font]
3 + [font=Times][$946$][/font]
4 + 3 = 4
[font=Times][$946$][/font]
1 + [font=Times][$946$][/font]
2 + [font=Times][$946$][/font]
3 + [font=Times][$946$][/font]
4 + [font=Times][$946$][/font]
5 + 4 = 5
[font=Times][$946$][/font]
1 + [font=Times][$946$][/font]
2 + [font=Times][$946$][/font]
3 + [font=Times][$946$][/font]
4 + [font=Times][$946$][/font]
5 + [font=Times][$946$][/font]
6 + 5 = 7
Откуда:
[font=Times][$946$][/font]
1 = 0, [font=Times][$946$][/font]
2 = 1, [font=Times][$946$][/font]
3 = 0, [font=Times][$946$][/font]
4 = 0, [font=Times][$946$][/font]
5 = 0, [font=Times][$946$][/font]
6 = 1
Для каждого типа команды МНР есть свои правила для вычисления числа Гёделя:
[font=Times][$946$][/font](Z(n)) = 4(n-1)
[font=Times][$946$][/font](S(n)) = 4(n-1) + 1
[font=Times][$946$][/font](T(m,n)) = 4[font=Times][$960$][/font](m-1,n-1) + 2
[font=Times][$946$][/font](J(m,n,q)) = 4[font=Times][$958$][/font](m,n,q) + 3 = 4[font=Times][$960$][/font]([font=Times][$960$][/font](m-1,n-1),q-1) + 3
где [font=Times][$960$][/font](m,n) = 2
m(2n+1)-1
Далее:
[font=Times][$946$][/font]
1 = 0 = 4(n-1) [$8658$] n = 1, и первая команда Z(1)
[font=Times][$946$][/font]
2 = 1 = 4(n-1)+1 [$8658$] n = 1, и вторая команда S(1)
[font=Times][$946$][/font]
3 = 0 = 4(n-1) [$8658$] n = 1, и третья команда Z(1)
[font=Times][$946$][/font]
4 = 0 = 4(n-1) [$8658$] n = 1, и четвертая команда Z(1)
[font=Times][$946$][/font]
5 = 0 = 4(n-1) [$8658$] n = 1, и пятая команда Z(1)
[font=Times][$946$][/font]
6 = 1 = 4(n-1)+1 [$8658$] n = 1, и шестая команда S(1)
Итого, получили следующую программу МНР:
Z(1)
S(1)
Z(1)
Z(1)
Z(1)
S(1)
Проверьте решение. Если что не так, пишите в мини-форуме, разберемся...