|
|
|
|
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
|