Разрабатываются подходы к решению систем некоммутативных полиномиальных уравнений, возникающих в математической теории языков и грамматик; системы решаются в виде формальных степенных рядов (ФСР), которые выражают символьные неизвестные через символьные параметры. Всякому ФСР поставлен в соответствие его коммутативный образ — степенной ряд, который получается в предположении, что все символы обозначают коммутативные переменные, принимающие значения из поля комплексных чисел. Изучаются вопросы совместности системы некоммутативных символьных уравнений на основе исследования коммутативного образа этой системы.
Тип: статьи в журналах
Источник: Прикладная дискретная математика. Приложение. 2016. № 9. С. 119-121