Отправляет email-рассылки с помощью сервиса Sendsay

RFpro.ru: Алгоритмы и теория программирования

Подписаться Бесплатная «Серебряная» новостная рассылка . Подписчиков 295 RSS
←   Май 2016   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://rfpro.ru/
Открыта: 11-11-2009

Автор
Калашников О.А.

Статистика

295 подписчиков
0 за неделю
←   Все выпуски   →

RFpro.ru: Алгоритмы и теория программирования


РАССЫЛКИ ПОРТАЛА RFPRO.RU

Лучшие эксперты в разделе

Лангваген Сергей Евгеньевич
Статус: Профессор
Рейтинг: 312
∙ повысить рейтинг » 		Megaloman
Статус: Академик
Рейтинг: 82
∙ повысить рейтинг » 		CradleA
Статус: Профессионал
Рейтинг: 15
∙ повысить рейтинг »

∙ Алгоритмы и теория программирования

Номер выпуска:193
Дата выхода:09.05.2016, 05:21
Администратор рассылки:Лысков Игорь Витальевич (Старший модератор)
Подписчиков / экспертов:18 / 8
Вопросов / ответов:1 / 1

Консультация # 189297: Уважаемые эксперты! Пожалуйста, ответьте на вопрос: Здравствуйте, уважаемые эксперты. Подскажите, как написать программу МНР, геделев номер которой равен 188. Заранее благодарен....

Консультация # 189297:

Уважаемые эксперты! Пожалуйста, ответьте на вопрос:

Здравствуйте, уважаемые эксперты. Подскажите, как написать программу МНР, геделев номер которой равен 188. Заранее благодарен.

Дата отправки: 04.05.2016, 05:00
Вопрос задал: region41 (Посетитель)
Всего ответов: 1
Страница онлайн-консультации »

Консультирует Лысков Игорь Витальевич (Старший модератор):

Здравствуйте, region41!
Имеем гёделев номер программы γ(P) = 188
Тогда τ(β1,β2,...,βn) = γ(P) + 1 = 189 = BD16 = 101111012 = 20 + 22 + 23 + 24 + 25 + 27
n задает число команд МНР и определяется количеством единиц в числе 101111012. Видим, что n = 6
τ(β1,β2,β3,β4,β5,β6) = 2β1 + 2β< sub>1+β2+1 + 2β1+β2+β3+2 + 2β1+β2+β3+β4+3 + 2β1+β2+β3+β4+β5+4 + 2β1+β2+β3+β4+β5+β6+5 = 20 + 22 + 23 + 24 + 25 + 27
Легко увидеть, что:
β1 = 0
β1 + β2 + 1 = 2
β1 + β2 + β3 + 2 = 3
β1 + β2 + β3 + β4 + 3 = 4
β1 + β2 + β3 + β4 + β5 + 4 = 5
β1 + β2 + β3 + β4 + β5 + β6 + 5 = 7
Откуда:
β1 = 0, β2 = 1, β3 = 0, β4 = 0, β5 = 0, β6 = 1
Для каждого типа команды МНР есть свои правила для вычисления числа Гёделя:
β(Z(n)) = 4(n-1)
β(S(n)) = 4(n-1) + 1
β(T(m,n)) = 4π(m-1,n-1) + 2
β(J(m,n,q)) = 4ξ(m,n,q) + 3 = 4π(π(m-1,n-1),q-1) + 3
где π(m,n) = 2m(2n+1)-1
Далее:
β1 = 0 = 4(n-1) ⇒ n = 1, и первая команда Z(1)
β2 = 1 = 4(n-1)+1 ⇒ n = 1, и вторая команда S(1)
β3 = 0 = 4(n-1) ⇒ n = 1, и третья команда Z(1)
β4 = 0 = 4(n-1) ⇒ n = 1, и четвертая команда Z(1)
β5 = 0 = 4(n-1) ⇒ n = 1, и пятая команда Z(1)
β6 = 1 = 4(n-1)+1 ⇒ n = 1, и шестая команда S(1)
Итого, получили следующую программу МНР:
Z(1)
S(1)
Z(1)
Z(1)
Z(1)
S(1)
Проверьте решение. Если что не так, пишите в мини-форуме, разберемся... smile

Консультировал: Лысков Игорь Витальевич (Старший модератор)
Дата отправки: 05.05.2016, 13:57

5
Не смог найти в сети доступного объяснения на свой вопрос, Игорь Витальевич разложил все по полочкам. Большое спасибо!
-----
Дата оценки: 06.05.2016, 00:57
Рейтинг ответа:

НЕ одобряю +1 одобряю!

Оценить выпуск | Задать вопрос экспертам

главная страница  |  стать участником  |  получить консультацию
техническая поддержка

Дорогой читатель!
Команда портала RFPRO.RU благодарит Вас за то, что Вы пользуетесь нашими услугами. Вы только что прочли очередной выпуск рассылки. Мы старались. Пожалуйста, оцените его. Если совет помог Вам, если Вам понравился ответ, Вы можете поблагодарить автора - для этого в каждом ответе есть специальные ссылки. Вы можете оставить отзыв о работе портале. Нам очень важно знать Ваше мнение. Вы можете поближе познакомиться с жизнью портала, посетив наш форум, почитав журнал, который издают наши эксперты. Если у Вас есть желание помочь людям, поделиться своими знаниями, Вы можете зарегистрироваться экспертом. Заходите - у нас интересно!
МЫ РАБОТАЕМ ДЛЯ ВАС!
В избранное