29
правок
Изменения
м
→Неразрешимость языка ПСП
<tex>a_1 a_{i_2} \dots a_{i_{f-1}} = b_1 b_{i_2} \dots b_{i_{f-1}}</tex>.
Итого, если <tex>(0, i_2, \dots, i_k, n+1)</tex> - — решение ПСП, то <tex>(1, i_2, \dots, i_k)</tex> - — решение исходной МПСП.
}}
