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

Описание

Перевод названия: An analogue of implicit mapping theorem to formal grammars

Тип публикации: статья из журнала

Год издания: 2017

Идентификатор DOI: 10.17223/2226308X/10/58

Ключевые слова: системы полиномиальных уравнений, некоммутативные переменные, формальный степенной ряд, коммутативный образ, якобиан, systems of polynomial equations, non-commutative variables, Formal power series, commutative image, Jacobian

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

Ссылки на полный текст

Издание

Журнал: Прикладная дискретная математика. Приложение

Выпуск журнала: 10

Номера страниц: 149-151

ISSN журнала: 2226308X

Место издания: Томск

Издатель: Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский Томский государственный университет"

Авторы

  • Егорушкин Олег Игоревич (Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнёва)
  • Колбасина Ирина Валерьевна (Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнёва)
  • Сафонов Константин Владимирович (Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнёва)

Вхождение в базы данных