О совместности систем символьных полиномиальных уравнений и их приложении

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