Скажу честно, я теорию алгоритмов учил ну очень давно :)
Если машину Тьюринга я еще помню, то МНР нет. А числа Гёделя, тем более...
Но у нас есть голова на плечах, давайте вместе подумаем, как оно должно быть...
Перепишем МНР немного по-другому. Я писал ответ с учетом того, что есть нулевой регистр, а они, так понимаю,
начинаются с 1. Итак, рассматриваем следующую МНР:
1) j(2,3,5)
2) S(1)
3) S(3)
4) j(1,1,1)
Для каждого типа команды МНР есть свои правила для вычисления числа Гёделя:
[font=Times][$946$][/font](S(n)) = 4(n-1) + 1
[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
1) [font=Times][$946$][/font]
1(J(2,3,5)) = 4[font=Times][$960$][/font]([font=Times][$960$][/font](1,2),4)+3 = 4[font=Times][$960$][/font](9,4)+3 = 4(2
9*9-1)+3 = 18431
2) [font=Times][$946$][/font]
2(S(1)) = 1
3) [font=Times][$946$][/font]
3(S(3)) = 9
4) [font=Times][$946$][/font]
4(J(1,1,1)) = 4[font=Times][$960$][/font]([font=Times][$960$][/font](0,0),0)+3 = 4[font=Times][$960$][/font](0,0)+3 = 3
Тогда Гёделев номер программы считаем как:
[font=Times][$947$][/font](P) = [font=Times][$964$][/font]([font=Times][$946$][/font]
1,[font=Times][$946$][/font]
2,[font=Times][$946$][/font]
3,[font=Times][$946$][/font]
4) - 1 = 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 - 1 = 2
18431 + 2
18433 + 2
18444 + 2
18450 - 1
Мне думается где-то так.
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен