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