L = { |M - это машина Тьюринга, а {1} - это подмножество L (M)}
Я определил, что она распознаваема.Тем не менее, у меня возникают проблемы с определением, можно ли его распознать и, следовательно, решить.Дополнение к L: { |M - машина Тьюринга, и {1} не является подмножеством L (M)} .Кажется, это можно распознать, потому что если мы можем взять 1 в качестве входа и посмотреть, как ТМ отклонит его