Докажите, что существует МТ, которая вычисляет биекцию c: $$\mathbb{N} \rightarrow \mathbb{N}$$ Где $$c: (x, y) \rightarrow {x + y + 1\choose 2} + y$$ Числа заданы в унарной записи,(т.е. n записывается как слово 1^n).

задан 11 Мар 23:34

В принципе, это легко выводится из фактов общей теории. Можно посмотреть в учебниках. Функция c(x,y) примитивно-рекурсивна, а всякая такая функция вычислима по Тьюрингу.

Здесь возможно и прямое описание соответствующей машины, но это требует некоторой технической "возни". Поскольку речь о доказательстве, то ссылок на теоретические факты должно быть достаточно.

(11 Мар 23:48) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×40

задан
11 Мар 23:34

показан
196 раз

обновлен
11 Мар 23:48

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru