Условие разрешимости произвольных формальных грамматик как грамматики формальных языков. Такие системы решаются 
в виде формальных степенных рядов (ФСР
 Аналог теоремы о неявном отображении для формальных грамматикВ работе продолжается исследование систем некоммутативных полиномиальных уравнений, которые
 О совместности систем символьных полиномиальных уравнений и их приложенииРазрабатываются подходы к решению систем некоммутативных полиномиальных уравнений, возникающих 
в Геометрическое условие разрешимости формальных грамматикВ работе продолжено развитие метода исследований формальных грамматик, под которыми подразумеваются
 О полиномиальных грамматиках, порождающих бесконечное множество языков переменных, которые решаются 
в виде формальных степенных рядов, выражающих нетерминальные символы алфавита
 О решении линейных однородных грамматик, порождающих линейные языки интерпретируются как линейные грамматики формальных языков. Такие системы решаются 
в виде формальных степенных
 Алгоритм решения расширенной проблемы синтаксического анализа монома, если такие существуют. Описание вывода монома состоит 
в следующем: определить, какие продукции из