Изменения

Таким образом, язык пар последовательностей, для которых существует решение ПСП, полуразрешим, а значит, перечислим.

}}

== Неразрешимость языка ПСП ==