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