SYNTAX

В информатике SYNTAX - это система, используемая для генерировать лексические и синтаксические анализаторы (синтаксические анализаторы ) (как детерминированные, так и недетерминированные) для всех видов контекстно-свободных грамматик (CFG), а также некоторых классов контекстных грамматик. Оно разрабатывалось INRIA (Франция ) в течение нескольких десятилетий, в основном Пьером Булье, но стало бесплатным программным обеспечением только с 2007 года. SYNTAX распространяется по лицензии CeCILL.

• 1 Контекстный анализ
• 2 Контекстный анализ
• 3 Исправление ошибок
• 4 Примечания
• 5 Внешние ссылки

SYNTAX обрабатывает большинство классов детерминированных (однозначных) грамматик (LR, LALR, RLR, а также общих контекстно-свободных грамматик. Детерминированная версия использовалась в операционных контекстах (например, Ada ), и в настоящее время используется как в области компиляции. Недетерминированные функции включают генератор синтаксического анализатора Эрли, используемый для обработки естественного языка. Синтаксические анализаторы, созданные SYNTAX, включают мощные механизмы восстановления после ошибок и позволяют выполнять семантические действия и оценку атрибутов в абстрактном дереве или в общем лесу синтаксического анализа.

Текущая версия SYNTAX (версия 6.0 beta) включает также генераторы синтаксических анализаторов для других формализмов, используемых для обработки естественного языка, а также биоинформатики. Lisms - это контекстно-зависимые формализмы (TAG, RCG или формализмы, которые основываются на контекстно-свободных грамматиках и расширяются благодаря оценке атрибутов, в частности, для обработки естественного языка (LFG ).

Хорошей особенностью SYNTAX (по сравнению с Lex / Yacc ) является его встроенный алгоритм для автоматического восстановления из лексических и синтаксические ошибки, путем удаления лишних символов или токенов, вставки отсутствующих символов или токенов, перестановки символов или токенов и т. д. Этот алгоритм имеет поведение по умолчанию, которое можно изменить, предоставив настраиваемый набор правил восстановления, адаптированный к языку, для которого лексический анализатор и парсер построены.

1. ^Первый инструмент-переводчик для языка ADA был разработан с помощью SYNTAX Пьером Булье и другими, как упоминается на этой странице истории ADA. См. Также Пьера Булье и Кнута Рипкена. Сборка компилятора Ada с использованием методов мета-компиляции. В Séminaires Langages et Traducteurs 1978–1981, страницы 99–140. INRIA, Роккенкур, Франция, 1981.
2. ^Например, командой VASY в INRIA, в частности, для разработки CADP и Traian.
3. ^Например, в парсере SxLFG, первая версия которого описана в этой статье.
4. ^Пьер Булье и Мартин Журдан. Новая схема исправления и восстановления ошибок для лексического и синтаксического анализа. Наука компьютерного программирования 9 (3): 271-286 (1987).

• (на французском языке) Веб-сайт SYNTAX
• Документ о построении компиляторов с использованием SYNTAX и TRAIAN (конференция Compiler Construction'02)