О решении полиномиальных грамматик и общего алгебраического уравнения

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