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

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

Full description

Bibliographic Details
Published in:Прикладная дискретная математика. Приложение № 16. С. 124-126
Main Author: Егорушкин, Олег Игоревич
Other Authors: Колбасина, Ирина Валерьевна, Сафонов, Константин Владимирович
Format: Article
Language:Russian
Subjects:
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001006019
LEADER 03290nab a2200325 c 4500
001 koha001006019
005 20241001164658.0
007 cr |
008 230915|2023 ru s c rus d
024 7 |a 10.17223/2226308Х/16/31  |2 doi 
035 |a koha001006019 
040 |a RU-ToGU  |b rus  |c RU-ToGU 
100 1 |a Егорушкин, Олег Игоревич 
245 1 0 |a Аналог теоремы Кронекера-Капелли для систем некоммутативных линейных уравнений, порождающих линейные языки  |c О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов 
336 |a Текст 
337 |a электронный 
504 |a Библиогр.: 5 назв. 
520 3 |a Продолжается исследование систем некоммутативных полиномиальных уравнений, которые интерпретируются как грамматики формальных языков. Такие системы решаются в виде формальных степенных рядов (ФСР), выражающих нетерминальные символы через терминальные символы алфавита и рассматриваемых как формальные языки. Всякому ФСР поставлен в соответствие его коммутативный образ, который получается в предположении, что все символы обозначают коммутативные переменные, действительные или комплексные. Рассматриваются уравнения, которые линейны по нетерминальным символам с полиномиальными коэффициентами от терминальных символов, а значит, эти системы порождают линейные формальные языки. Совместность системы некоммутативных полиномиальных уравнений не связана напрямую с совместностью её коммутативного образа, и потому в качестве аналога теоремы Кронекера — Капелли удаётся получить лишь достаточное условие несовместности некоммутативной системы. 
653 |a системы линейных уравнений 
653 |a некоммутативные переменные 
653 |a формальные степенные ряды 
653 |a коммутативный образ 
655 4 |a статьи в журналах 
700 1 |a Колбасина, Ирина Валерьевна 
700 1 |a Сафонов, Константин Владимирович 
773 0 |t Прикладная дискретная математика. Приложение  |d 2023  |g  № 16. С. 124-126  |x 2226-308X  |w to000620992 
852 4 |a RU-ToGU 
856 4 |u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001006019 
908 |a статья 
999 |c 1006019  |d 1006019