Библиографическое описание:ОБОБЩЕНИЕ ТЕОРЕМЫ О НЕЯВНОМ ОТОБРАЖЕНИИ ДЛЯ ФОРМАЛЬНЫХ ГРАММАТИК И ЕГО ПРИЛОЖЕНИЕ : доклад, тезисы доклада / О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов. - [Б. м. : б. и.], 2019. - Текст : непосредственный // Актуальные проблемы авиации и космонавтики : Сборник материалов V Международной научно-практической конференции, посвященной Дню космонавтики. В 3-х томах / Под общей редакцией Ю.Ю. Логинова ; Актуальные проблемы авиации и космонавтики (2019 ; 08.04 - 12.04 ; Красноярск). - Красноярск : Федеральное государственное бюджетное образовательное учреждение высшего образования "Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева", 2019. - 2. - С. 275-276.
Аннотация:Исследуются системы полиномиальных уравнений над полукольцом (относительно символов с некоммутативным умножением и коммутативным сложением). Такие системы уравнений интерпретируются как грамматики формальных языков и решаются относительно нетерминальных символов в виде формальных степенных рядов, зависящих от терминальных символов. Рассматривается коммутативный образ системы уравнений в предположении, что символы являются переменными, принимающими значения из поля комплексных чисел. Доказывается обобщение теоремы о неявном отображении для полиномиальных грамматик: достаточным условием существования и единственности решения системы некоммутативных уравнений в виде формальных степенных рядов является максимальная величина ранга матрицы Якоби коммутативного образа этой системы.
Systems of polynomial equations over a semiring (with respect to symbols with a noncommutative multiplication and a commutative addition) are investigated. These systems of equations are interpreted as the grammars of formal languages, and are resolved with respect to the nonterminal symbols in the form of formal power series depending on the terminal symbols. The commutative image of the system of equations under the assumption that the symbols are variables taking values from the field of complex numbers is considered. A generalization of implicit mapping theorem for polynomial grammars is proved: a sufficient condition for the existence and the uniqueness of the solution of the noncommutative system of equations in the form of formal power series is the maximal rang of Jacoby matrix of the commutative image of this system.
Издательство:Федеральное государственное бюджетное образовательное учреждение высшего образования "Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева, Красноярск
Выпуск:2
Мероприятие:Актуальные проблемы авиации и космонавтики (Красноярск, 2019 ; 08.04 - 12.04)
Номера страниц:275-276
Держатель оригинала документа:Сибирский государственный университет науки и технологий имени академика М. Ф. Решетнева
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки
