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