Интересно, почему следующий язык находится в ?
(Я знаю, что это в так как есть ответ на этот вопрос с несколькими вариантами ответов, но без объяснения).
Я сразу подумал, что поскольку мы знаем, что проверка того, что две машины принимают один и тот же язык, на самом деле не решаема, я : действительно ли это немедленно? «Ложь», но этого не может быть, так как есть много машин Тьюринга, которые принимают один и тот же ответ и имеют разные кодировки.
Благодарность!