О полноте и суперполноте моделей алгоритмов для решения задач сравнения текстовых фрагментов

В рамках алгебраического подхода к синтезу корректных алгоритмов исследуется класс задач, в которых в качестве начальной информации берутся численные описания пар текстовых фрагментов, а алгоритмы-решения производят классификацию пар фрагментов в зависимости от их схожести или различности. Ранее были получены критерии разрешимости и регулярности таких задач, а также изучен случай построения их монотонных решений. В настоящей статье доказываются критерии полноты и суперполноты моделей алгоритмов для рассматриваемого класса задач, а также критерии монотонной полноты и монотонной суперполноты. Библ. 5.