Вопросы разрешимости задачи распознавания вторичной структуры белка

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