Аннотация:
В рамках алгебраического подхода к синтезу корректных алгоритмов исследован класс задач, в которых в качестве элементов пространства начальной информации берутся численные описания пар текстовых фрагментов. При этом алгоритмы решения задач по этим описаниям производят классификацию исходных пар фрагментов в соответствии со степенью их в определенном смысле схожести или, наоборот, различимости. Получены критерии разрешимости и регулярности таких задач. Отдельно рассмотрен частный случай построения монотонных решений исследуемых задач. Доказаны критерии монотонной разрешимости и монотонной регулярности задач. Библ. 3.
Ключевые слова:
задача сравнения текстов, алгебраический подход к синтезу корректных алгоритмов, критерии монотонной разрешимости, критерии монотонной регулярности.