Моя проблема: Определите два набора P и Q слов (то есть две проблемы), такие как: P неразрешима и не может быть полуразмерна, Q неразрешимые и полуразрешимые и P ⊂ QP неразрешима, а не полуразрешима, Q неразрешима и полуразложима и P ⊂ Q
Одним из примеров таких наборов:
Определить Q как множество Тьюринга машин, которые останавливаются на пустом входе. Определите P как набор машин для обработки, которые останавливаются на каждом входе.
Ясно, что P ⊂ Q и P неразрешимы, а не полуразделимы, но Q неразрешима и полуразрешена.
Спасибо, но почему P ⊂ Q? –
Поскольку машина для туринга, которая останавливается на каждом входе, очевидно, также останавливается на пустом входе. – ipsec
Вы должны задать это по адресу http://cs.stackexchange.com/ или http://math.stackexchange.com/ – runDOSrun