О решении общего алгебраического уравнения степенными рядами и приложении в теории формальных грамматик | Прикладная дискретная математика. 2023. № 60. DOI: 10.17223/20710410/60/9

Рассматривается общее алгебраическое уравнение и ставится задача найти его решение при помощи степенных рядов или рядов Лорана, зависящих от коэффициентов уравнения. Получено решение в виде ряда Лорана, коэффициенты которого выражаются через коэффициенты формулами в «замкнутом» виде, когда число слагаемых в формуле не растёт вместе с номером коэффициента. В прикладном аспекте общее алгебраическое уравнение рассматривается как коммутативный образ соответствующего уравнения с некоммутативными символами, которое, в свою очередь, интерпретируется в теории формальных грамматик как полиномиальная грамматика. Показано, что такая грамматика не порождает формального языка (не имеет решения в виде формального степенного ряда), поскольку её коммутативный образ имеет решение в виде ряда Лорана, содержащего отрицательные степени переменных, тогда как деление в теории формальных грамматик не определено.
  • Title О решении общего алгебраического уравнения степенными рядами и приложении в теории формальных грамматик
  • Headline О решении общего алгебраического уравнения степенными рядами и приложении в теории формальных грамматик
  • Publesher Tomask State UniversityTomsk State University
  • Issue Прикладная дискретная математика 60
  • Date:
  • DOI 10.17223/20710410/60/9
Ключевые слова
общее алгебраическое уравнение, степенной ряд, ряд Лорана, коммутативный образ, полиномиальная грамматика, формальный язык
Авторы
Ссылки
Abel N.H. Oeuvres completes, t. 1. Christiania: Grondahl, 1839. 294 p.
Тихомиров В. Абель и его великая теорема // Квант. 2003. № 1. С. 11-15.
Семушева А. Ю., Цих А.К. Продолжение исследований Меллина о решении алгебраических уравнений / Сб. "Комплексный анализ и дифференциальные операторы (К 150-летию С. В. Ковалевской)". Красноярск: Красноярский гос. ун-т, 2000. C. 122-134.
Aizenberg L. A. and Yuzhakov A. P.Integral Representations and Residues in Multidimensional Complex Analysis. Providence: AMS, 1983. 283 p.
Safonov K. V. On power series of algebraic and rational functions in Cn //j. Math. Analys. Appl. 2000. V. 243. P. 261-277.
Egorushkin O. I., Kolbasina I. V., and Safonov K.V. On solvability of systems of symbolic polynomial equations // Журнал СФУ. Математика и физика. 2016. Т. 9. №2. С. 166-172.
Егорушкин О. И., Колбасина И. В., Сафонов К. В. О применении многомерного комплексного анализа в теории формальных языков и грамматик // Прикладная дискретная математика. 2017. №37. С. 76-89.
Salomaa A. and Soitolla M. Automata-Theoretic Aspects of Formal Power Series. N.Y.: Springer Verlag, 1978. 167p.
Глушков В. М., Цейтлин Г. Е., Ющенко Е. Л. Алгебра. Языки. Программирование. Киев: Наукова думка, 1973. 319 с.
Семёнов А. Л. Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик // Доклады АН СССР. 1973. Т. 212. С. 50-52.
 О решении общего алгебраического уравнения степенными рядами и приложении в теории формальных грамматик | Прикладная дискретная математика. 2023. № 60. DOI: 10.17223/20710410/60/9
О решении общего алгебраического уравнения степенными рядами и приложении в теории формальных грамматик | Прикладная дискретная математика. 2023. № 60. DOI: 10.17223/20710410/60/9