271
правка
Изменения
Нет описания правки
if <tex>a_{i_1} \ldots a_{i_m} = b_{i_1} \ldots b_{i_m}</tex>
return true
Таким образом, язык пар последовательностей, для которых существует решение ПСП, полуразрешим, а значит, и перечислим.
}}
