Устранение левой рекурсии в синтаксических диаграммах

Abstract

В статье рассматривается задача распознавания контекстно-свободных языков. Для построе- ния эффективных распознавателей используются детерминированные синтаксические диаграммы. В работе рассматривается класс леворекурсивных синтаксических диаграмм. Даны определения са- молеворекурсивной и леворекурсивной компоненты синтаксической диаграммы. Показано, что лево- рекурсивная диаграмма не является детерминированной и не может быть использована для по- строения эффективных распознавателей. Предложен алгоритм преобразования леворекурсивной синтаксической диаграммы в эквивалентную ей диаграмму без левой рекурсии, которая может быть детерминированной. Применение этого алгоритма расширяет класс синтаксических диа- грамм, которые можно использовать для построения эффективных распознавателей формальных языков.