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

Автор: Егорушкин Олег Игоревич, Калугин-Балашов Дмитрий Андреевич, Сафонов Константин Владимирович

Журнал: Сибирский аэрокосмический журнал @vestnik-sibsau

Рубрика: Математика, механика, информатика

Статья в выпуске: 2 (23), 2009 года.

Бесплатный доступ

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

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

Короткий адрес: https://sciup.org/148175885

IDR: 148175885

Статья научная