Аналог теоремы о неявном отображении для формальных грамматик

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

Full description

Bibliographic Details
Published in:Прикладная дискретная математика. Приложение № 10. С. 149-151
Main Author: Егорушкин, Олег Игоревич
Other Authors: Колбасина, Ирина Валерьевна, Сафонов, Константин Владимирович
Format: Article
Language:Russian
Subjects:
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000582112
LEADER 03234nab a2200325 c 4500
001 vtls000582112
003 RU-ToGU
005 20241001164657.0
007 cr |
008 170915|2017 ru s c rus d
024 7 |a 10.17223/2226308X/10/58  |2 doi 
035 |a to000582112 
040 |a RU-ToGU  |b rus  |c RU-ToGU 
100 1 |a Егорушкин, Олег Игоревич 
245 1 0 |a Аналог теоремы о неявном отображении для формальных грамматик  |c О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов 
504 |a Библиогр.: 8 назв. 
520 3 |a В работе продолжается исследование систем некоммутативных полиномиальных уравнений, которые интерпретируются как грамматики формальных языков. Такие системы решаются в виде формальных степенных рядов (ФСР), выражающих нетерминальные символы через терминальные символы алфавита и рассматриваемых как формальные языки. Всякому ФСР поставлен в соответствие его коммутативный образ, который получается в предположении, что все символы обозначают коммутативные переменные, принимающие значения из поля комплексных чисел. В продолжение исследований совместности систем некоммутативных полиномиальных уравнений, которая напрямую не связана с совместностью её коммутативного образа, получено достаточное условие совместности в виде аналога теоремы о неявном отображении для формальных грамматик: если для коммутативного образа системы выполнено условие теоремы о неявном отображении, то не только она, но и исходная система некоммутативных уравнений имеет единственное решение в виде ФСР. 
653 |a формальные языки 
653 |a формальные грамматики 
653 |a системы полиномиальных уравнений 
653 |a формальные степенные ряды 
653 |a якобиан 
655 4 |a статьи в журналах 
700 1 |a Колбасина, Ирина Валерьевна 
700 1 |a Сафонов, Константин Владимирович 
773 0 |t Прикладная дискретная математика. Приложение  |d 2017  |g № 10. С. 149-151  |x 2226-308X 
852 4 |a RU-ToGU 
856 7 |u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000582112 
908 |a статья 
999 |c 426688  |d 426688