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

doi:10.17223/2226308X/10/58

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Аналог теоремы о неявном отображении для формальных грамматик	523 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/2226308X/10/58

#формальные языки

#формальные грамматики

#системы полиномиальных уравнений

#формальные степенные ряды

#якобиан

Title: Аналог теоремы о неявном отображении для формальных грамматик
Creator: Егорушкин, Олег Игоревич
|
Колбасина, Ирина Валерьевна
|
Сафонов, Константин Владимирович
Date: 2017
DOI: 10.17223/2226308X/10/58
Description: В работе продолжается исследование систем некоммутативных полиномиальных уравнений, которые интерпретируются как грамматики формальных языков. Такие системы решаются в виде формальных степенных рядов (ФСР), выражающих нетерминальные символы через терминальные символы алфавита и рассматриваемых как формальные языки. Всякому ФСР поставлен в соответствие его коммутативный образ, который получается в предположении, что все символы обозначают коммутативные переменные, принимающие значения из поля комплексных чисел. В продолжение исследований совместности систем некоммутативных полиномиальных уравнений, которая напрямую не связана с совместностью её коммутативного образа, получено достаточное условие совместности в виде аналога теоремы о неявном отображении для формальных грамматик: если для коммутативного образа системы выполнено условие теоремы о неявном отображении, то не только она, но и исходная система некоммутативных уравнений имеет единственное решение в виде ФСР.

Relationships: Show Relationship Browser for this Object
collection(s): Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Прикладная дискретная математика. Приложение. 2017. № 10. С. 149-151
Language: rus

Created: 15-09-2017

956 Visitors

834 Hits

124 Downloads

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