О решении систем алгебраических уравнений, ассоциированных с контекстно-свободными языками

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