О применении многомерного комплексного анализа в теории формальных языков и грамматик : научное издание

Описание

Перевод названия: On application of multidimensional complex analysis in formal language and grammar theory

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

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

Идентификатор DOI: 10.17223/20710410/37/6

Ключевые слова: формальный степенной ряд, коммутативный образ, синтаксический анализ, интегральное представление, Formal power series, commutative image, syntactic analysis, integral representation

Аннотация: Исследуются системы полиномиальных уравнений над полукольцом (относительно символов с некоммутативным умножением и коммутативным сложением). Такие системы уравнений интерпретируются как грамматики формальных языков и решаются относительно нетерминальных символов в виде формальных степенных рядов, зависящих от терминальных символов.Показать полностьюРассматривается коммутативный образ системы уравнений в предположении, что символы являются переменными, принимающими значения из поля комплексных чисел. Устанавливаются связи между решениями системы некоммутативных символьных уравнений и её коммутативного образа, тем самым методы многомерного комплексного анализа привлекаются в теорию формальных языков и грамматик. Доказывается дискретный аналог теоремы о неявном отображении для формальных грамматик: достаточным условием существования и единственности решения системы некоммутативных уравнений в виде формальных степенных рядов является отличие от нуля якобиана коммутативного образа этой системы. Предложен также новый метод синтаксического анализа мономов контекстно-свободного языка как модели языков программирования, основанный на интегральном представлении синтаксического многочлена программы. При этом показано, что интеграл фиксированной кратности по циклу позволяет найти синтаксический многочлен монома (программы) с неограниченным числом символов, что даёт новый подход к проблеме синтаксического анализа. Systems of polynomial equations over a semiring (with respect to symbols with a non-commutative multiplication and a commutative addition) are investigated. These systems of equations are interpreted as the grammars of formal languages and are resolved with respect to the non-terminal symbols in the form of the formal power series (FPS) depending on the terminal symbols. The commutative image of the system of equations is determined under the assumption that the symbols are variables taking values from the field of complex numbers. The connections between solutions of the non-commutative symbolic system of equations and its commutative image are established, thus the methods for multidimensional complex analysis are involved in the theory of formal language grammars. A discrete analogue of implicit mapping theorem onto formal grammars is proved: a sufficient condition for the existence and the uniqueness of a solution of a non-commutative system of equations in the form of FPS is the inequality to zero of the Jacobian of the commutative image of this system. A new method for syntactic analysis of the monomials of a context-free language as a model of programming languages is also proposed. The method is based on the integral representation of the syntactic polynomial of a program. It is shown that the integral of a fixed multiplicity over a cycle allows finding the syntactic polynomial of a monomial (program) with the unlimited number of symbols, that gives a new approach to the problem of syntactic analysis.

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

Издание

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

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

Номера страниц: 76-89

ISSN журнала: 20710410

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

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

Авторы

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

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