Работу всякой машины Тьюринга промоделировать другой машиной Тьюринга:

вопрос

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

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

Отправить

• # Для любого k и последовательности b+1, 2b+2, 3b+1, … (b<0 - некоторое целое):
• # Примитивно рекурсивно для примитивно рекурсивных операндов:
• # Если два множества неотделимы разрешимыми множествами, то:
• # Отношение эквивалентности - это всегда отношение:
• # Ассоциативное исчисление - это: