Двухстороннее исчисление, для правил которого нет алгоритма, выясняющегося, можно ли получить одно слово из другого:

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

• # Прообраз множества X для частичной функции f(n) - это:
• # Множество X - эффективно неперечислимо, если существует всюду определенная вычислимая W-универсальная функция f:
• # Любые два множества:
• # Класс эквивалентных множеств называют:
• # Машина Тьюринга включает объект: