Support of extended context-free grammars in Generalised LL parsing algorithm

Abstract

Горохов Артем Владимирович Поддержка расширенных контекстно-свободных грамматик в алгоритме синтаксического анализа Generalised LL кандидат физико-математических наук Семен Вячеславович Григорьев Направление математика и механика, кафедра системного программирования Синтаксический анализ играет важную роль в статическом анализе программ: на этом этапе анализа создаётся структурное представление кода, над которым производится дальнейший анализ. Инструменты для генерации синтаксических анализаторов по спецификации языка автоматзируют разработку анализаторов. Обычно спецификацией служит неоднозначная грамматика в расширенной форме Бэкуса-Наура (EBNF), но большинство инструментов не могут использовать данную форму без преобразования. Автоматическое преобразование грамматик обычно приводит к снижению производительности анализа. Существуют подходы к синтаксическому анализу EBNF-грамматик, но они не допускают неоднозначностей в граматиках. С другой стороны, алгоритм Generalised LL позволяет использовать неоднозначные BNF-грамматики и показывает хорошую производительность, но не может работать с EBNF-грамматиками. В этой работе предлагается модификация алгоритма GLL, позволяющая использовать формат граматик, который тесно связан с EBNF: расширенные контекстно-свободные грамматки. Кроме того, было показано, что модификация увеличивает производительность алгоритма по сравнению с основанным на преобразовании EBNF. Использованных источников: 32 Горохов, А. В. Поддержка расширенных контекстно-свободных грамматик в алгоритме синтаксического анализа Generalised LL: выпускная квалификационная работа: защищена 09.06.2017 / Горохов Артем Владимирович. – СПб., 2017. – 37 с. – Библиография: с. 31–34.

Gorokhov Artem Vladimirovich Support of extended context-free grammars in Generalised LL parsing algorithm Associate professor Semyon Grigorev. Mathematics & mechanics, software engineering department Parsing plays an important role in static program analysis: during this step a structural representation of code is created upon which further analysis is performed. Parser generator tools, being provided with syntax specification, automate parser development. Language documentation often acts as such specification. Documentation usually takes form of ambiguous grammar in Extended Backus-Naur Form which most parser generators fail to process. Automatic grammar transformation generally leads to parsing performance decrease. Some approaches support EBNF grammars natively, but they all fail to handle ambiguous grammars. On the other hand, Generalised LL parsing algorithm admits arbitrary context-free grammars and achieves good performance, but cannot handle EBNF grammars. The main contribution of this paper is a modification of GLL algorithm which can process grammars in a form which is closely related to EBNF (Extended Context-Free Grammar). We also show that the modification improves parsing performance as compared to grammar transformation-based approach. Sources cited: 32 Gorokhov, A. V. Support of extended context-free grammars in Generalised LL parsing algorithm: Graduation thesis: Defended 09.06.2017 / Gorokhov Artem Vladimirovich. – St. Petersburg., 2017. – 37 pp. – Bibliography: pp. 21-34.