RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



ПДМ. Приложение:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


ПДМ. Приложение, 2017, выпуск 10, страницы 149–151 (Mi pdma323)  

Математические основы информатики и программирования

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

О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов

Сибирский государственный университет науки и технологий имени академика М. Ф. Решетнёва, г. Красноярск

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

Ключевые слова: системы полиномиальных уравнений, некоммутативные переменные, формальный степенной ряд, коммутативный образ, якобиан.

DOI: https://doi.org/10.17223/2226308X/10/58

Полный текст: PDF файл (544 kB)
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 519.682

Образец цитирования: О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов, “Аналог теоремы о неявном отображении для формальных грамматик”, ПДМ. Приложение, 2017, № 10, 149–151

Цитирование в формате AMSBIB
\RBibitem{EgoKolSaf17}
\by О.~И.~Егорушкин, И.~В.~Колбасина, К.~В.~Сафонов
\paper Аналог теоремы о неявном отображении для формальных грамматик
\jour ПДМ. Приложение
\yr 2017
\issue 10
\pages 149--151
\mathnet{http://mi.mathnet.ru/pdma323}
\crossref{https://doi.org/10.17223/2226308X/10/58}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/pdma323
  • http://mi.mathnet.ru/rus/pdma/y2017/i10/p149

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Прикладная дискретная математика. Приложение
    Просмотров:
    Эта страница:52
    Полный текст:9
    Литература:20

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019