Алгоритмические проблемы алгебры, биоинформатики и робототехники. Эквациональная рекурсивность и границы разрешимости

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

Ключевые слова: кольца, полугруппы, алгоритмические проблемы алгебры