Прикладная алгебра и графы

В докладе предполагается рассмотрение врпросов нахожнения базисов тождеств и квазитождеств многообразий и квазимногообразий, порожденных классами алгебр отношений.

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