Если Y - класс вычислимых одноместных функций, а , то множество :

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Лента машины Тьюринга может быть:
• # Теорема о неподвижной точке называется также теоремой:
• # Множество всех самоприменимых программ:
• # Множества X и Y, для которых и :
• # Множество X согласовано с фрагментом x, если: