У нас есть 2 варианта текста T до и после,
перед:
a\nb\n
после
b\n
определить регулярное выражение ^[^\n].*\n$ как строку,
определить операцию delete_line удаления подстроки, которая соответствует строке из текста,
определить операцию add_line добавления подстроки, которая соответствует строке из текста,
Очевидно, T может преобразовываться с помощью операции delete_line.
есть ли библиотека, которая дает общее решение этой проблемы?
Учитывая набор регулярных выражений, он вычислит, может ли текст преобразовываться до и после.