Синтаксический анализ

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Синтакси́ческий ана́лиз (жарг. па́рсинг) в лингвистике и информатике — процесс сопоставления линейной последовательности лексем (слов, токенов) естественного или формального языка с его формальной грамматикой. Результатом обычно является дерево разбора (синтаксическое дерево). Обычно применяется совместно с лексическим анализом. Синтаксический анализатор (жарг. па́рсер) — это программа или часть программы, выполняющая синтаксический анализ.

Пример разбора выражения в дерево

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

Как правило, результатом синтаксического анализа является синтаксическое строение предложения, представленное либо в виде дерева зависимостей, либо в виде дерева составляющих, либо в виде некоторого сочетания первого и второго способов представления.

Область применения[править | править вики-текст]

Всё что угодно, имеющее «синтаксис», поддается автоматическому анализу.

Типы алгоритмов[править | править вики-текст]

Восстановление после ошибок[править | править вики-текст]

Простейший способ реагирования на некорректную входную цепочку лексем — завершить синтаксический анализ и вывести сообщение об ошибке. Однако часто оказывается полезным найти за одну попытку синтаксического анализа как можно больше ошибок. Именно так ведут себя трансляторы большинства распространённых языков программирования.

Таким образом перед обработчиком ошибок синтаксического анализатора стоят следующие задачи:

  • он должен ясно и точно сообщать о наличии ошибок;
  • он должен обеспечивать быстрое восстановление после ошибки, чтобы продолжать поиск других ошибок;
  • он не должен существенно замедлять обработку корректной входной цепочки.

Ниже описаны наиболее известные стратегии восстановления после ошибок.

Восстановление в режиме паники[править | править вики-текст]

При обнаружении ошибки синтаксический анализатор пропускает входные лексемы по одной, пока не будет найдена одна из специально определенного множества синхронизирующих лексем. Обычно такими лексемами являются разделители, например, ;,) или }. Набор синхронизирующих лексем должен определять разработчик анализируемого языка. При такой стратегии восстановления может оказаться, что значительное количество символов будут пропущены без проверки на наличие дополнительных ошибок. Данная стратегия восстановления наиболее проста в реализации.

Восстановление на уровне фразы[править | править вики-текст]

Иногда при обнаружении ошибки синтаксический анализатор может выполнить локальную коррекцию входного потока так, чтобы это позволило ему продолжать работу. Например, перед точкой с запятой, отделяющей различные операторы в языке программирования, синтаксический анализатор может закрыть все ещё не закрытые круглые скобки. Это более сложный в проектировании и реализации способ, однако в некоторых ситуациях, он может работать значительно лучше восстановления в режиме паники. Естественно, данная стратегия бессильна, если настоящая ошибка произошла до точки обнаружения ошибки синтаксическим анализатором.

Продукции ошибок[править | править вики-текст]

Знание наиболее распространённых ошибок позволяет расширить грамматику языка продукциями, порождающими ошибочные конструкции. При срабатывании таких продукций регистрируется ошибка, но синтаксический анализатор продолжает работать в обычном режиме.

См. также[править | править вики-текст]

ПО для разработки анализаторов[править | править вики-текст]

  • ANTLR — генератор парсеров
  • Bison — генератор парсеров
  • Coco/R — генератор сканера и парсера
  • GOLD — парсер
  • gppg — генератор парсеров для языка C# [1]
  • JavaCC — генератор парсеров для языка Java
  • Lemon Parser — генератор парсеров
  • Lex — генератор сканеров
  • LRgen — генератор сканеров и парсеров
  • PEG.js — генератор парсеров для Javascript [2]
  • Jison — генератор парсеров для Javascript [3]
  • Ragel — генератор встраиваемых парсеров [4]
  • Rats! — генератор парсеров для Java [5]
  • Rebol
  • SableCC — генератор интерпретаторов
  • Spirit Parser Framework — генератор парсеров
  • Xerces — XML-парсер
  • Yacc — генератор парсеров
  • SHProto — генератор FSM-парсеров [6]
  • AGFL — генератор парсеров естественного языка [7]

Литература[править | править вики-текст]

  • Альфред В. Ахо, Моника С. Лам, Рави Сети, Джеффри Д. Ульман. Компиляторы: принципы, технологии и инструментарий = Compilers: Principles, Techniques, and Tools. — 2-е изд. — М.: Вильямс, 2008. — ISBN 978-5-8459-1349-4.
  • Робин Хантер Основные концепции компиляторов = The Essence of Compilers. — М.: «Вильямс», 2002. — С. 256. — ISBN 5-8459-0360-2.

Ссылки[править | править вики-текст]