29
правок
Изменения
м
→Неразрешимость языка ПСП
== Неразрешимость языка ПСП ==
Докажем [[Разрешимые (рекурсивные) языки|неразрешимость ]] языка ПСП следующим образом. Докажем, что универсальный язык [[M-сводимость|сводится]] к языку МПСП, который в свою очередь сводится к языку ПСП.
Для начала покажем как свести МПСП к ПСП.
