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

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

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



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






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


ПДМ. Приложение, 2019, выпуск 12, страницы 196–198 (Mi pdma470)  

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

Условие разрешимости произвольных формальных грамматик

И. В. Колбасина, К. В. Сафонов

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

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

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

DOI: https://doi.org/10.17223/2226308X/12/55

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

Реферативные базы данных:

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

Образец цитирования: И. В. Колбасина, К. В. Сафонов, “Условие разрешимости произвольных формальных грамматик”, ПДМ. Приложение, 2019, № 12, 196–198

Цитирование в формате AMSBIB
\RBibitem{KolSaf19}
\by И.~В.~Колбасина, К.~В.~Сафонов
\paper Условие разрешимости произвольных формальных грамматик
\jour ПДМ. Приложение
\yr 2019
\issue 12
\pages 196--198
\mathnet{http://mi.mathnet.ru/pdma470}
\crossref{https://doi.org/10.17223/2226308X/12/55}
\elib{https://elibrary.ru/item.asp?id=41153931}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/pdma470
  • http://mi.mathnet.ru/rus/pdma/y2019/i12/p196

    ОТПРАВИТЬ: 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
  • Прикладная дискретная математика. Приложение
    Просмотров:
    Эта страница:56
    Полный текст:8
    Литература:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021