Пусть $%R\subset N\times N$% рекурсивно перечислимо. То есть существует программа $%p$% такая что для всех $%x,y $% верно $$R(x,y)\leftrightarrow \phi_p(x,y)\text{ опрееделено}$$

Область определения $%R$% - это $%\{y:\exists x R(x,y)\}$%. Это определение случаем не содержит опечатку? Я бы поменял местами х и у

$%R$% функционально если для каждого $%x$% из области определение существует ровно один $%y$% такой что $%R(x,y)$%

Докажите, что для каждого рекурсивно перечислимого отношения R существует рекурсивно перечислимое отношение S со следующми свойствами:

  • Области определения R и S совпадают
  • если $%S(x,y)$%, то $%R(x,y)$%
  • S функционально

задан 1 Дек 0:38

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×822

задан
1 Дек 0:38

показан
25 раз

обновлен
1 Дек 0:38

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

по почте:

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

по RSS:

Ответы

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

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