Здравствуйте, region41!
Имеем гёделев номер программы [font=Times][$947$][/font](P) = 188
Тогда [font=Times][$964$][/font]([font=Times][$946$][/font]₁,[font=Times][$946$][/font]₂,...,[font=Times][$946$][/font]_n) = [font=Times][$947$][/font](P) + 1 = 189 = BD₁₆ = 10111101₂ = 2⁰ + 2² + 2³ + 2⁴ + 2⁵ + 2⁷
n задает число команд МНР и определяется количеством единиц в числе 10111101₂. Видим, что n = 6
[font=Times][$964$][/font]([font=Times][$946$][/font]₁,[font=Times][$946$][/font]₂,[font=Times][$946$][/font]₃,[font=Times][$946$][/font]₄,[font=Times][$946$][/font]₅,[font=Times][$946$][/font]₆) = 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⁰ + 2² + 2³ + 2⁴ + 2⁵ + 2⁷
Легко увидеть, что:
[font=Times][$946$][/font]₁ = 0
[font=Times][$946$][/font]₁ + [font=Times][$946$][/font]₂ + 1 = 2
[font=Times][$946$][/font]₁ + [font=Times][$946$][/font]₂ + [font=Times][$946$][/font]₃ + 2 = 3
[font=Times][$946$][/font]₁ + [font=Times][$946$][/font]₂ + [font=Times][$946$][/font]₃ + [font=Times][$946$][/font]₄ + 3 = 4
[font=Times][$946$][/font]₁ + [font=Times][$946$][/font]₂ + [font=Times][$946$][/font]₃ + [font=Times][$946$][/font]₄ + [font=Times][$946$][/font]₅ + 4 = 5
[font=Times][$946$][/font]₁ + [font=Times][$946$][/font]₂ + [font=Times][$946$][/font]₃ + [font=Times][$946$][/font]₄ + [font=Times][$946$][/font]₅ + [font=Times][$946$][/font]₆ + 5 = 7
Откуда:
[font=Times][$946$][/font]₁ = 0, [font=Times][$946$][/font]₂ = 1, [font=Times][$946$][/font]₃ = 0, [font=Times][$946$][/font]₄ = 0, [font=Times][$946$][/font]₅ = 0, [font=Times][$946$][/font]₆ = 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]₁ = 0 = 4(n-1) [$8658$] n = 1, и первая команда Z(1)
[font=Times][$946$][/font]₂ = 1 = 4(n-1)+1 [$8658$] n = 1, и вторая команда S(1)
[font=Times][$946$][/font]₃ = 0 = 4(n-1) [$8658$] n = 1, и третья команда Z(1)
[font=Times][$946$][/font]₄ = 0 = 4(n-1) [$8658$] n = 1, и четвертая команда Z(1)
[font=Times][$946$][/font]₅ = 0 = 4(n-1) [$8658$] n = 1, и пятая команда Z(1)
[font=Times][$946$][/font]₆ = 1 = 4(n-1)+1 [$8658$] n = 1, и шестая команда S(1)
Итого, получили следующую программу МНР:
Z(1)
S(1)
Z(1)
Z(1)
Z(1)
S(1)
Проверьте решение. Если что не так, пишите в мини-форуме, разберемся...