0
Возможно ли распарсить программу на языке Си с помощью LL(1) парсера?

1 ответ 1

3

Нет.

Грамматика C не является контекстно-свободной. Например, выражение

a((b)*c);

может являться

  • если a — функция, b — тип, c — указатель: разыменование указателя c, приведение результата к типу b, передача полученного значения как параметра в функцию a;
  • если a — функция, b — числовая переменная/константа, c — числовая переменная/константа: умножение значений b и c, передача полученного значения как параметра в функцию a.

Таким образом, правильный разбор невозможен без контекста. LL-парсеры предназначены лишь для контекстно-свободных грамматик.

6
  • И какой же тогда парсер порекомендуете использовать?
    – PaulD
    3 дек 2013 в 19:18
  • Я бы взял lex/yacc (flex/bison), ввёл явный контекст, разрешил неоднозначности вручную.
    – VladD
    3 дек 2013 в 19:27
  • @SoloMio Вот грамматика для ANTLR 4 github.com/antlr/grammars-v4/blob/master/c/C.g4
    – andrybak
    3 дек 2013 в 19:32
  • 1
    @Андрей: typedefName : Identifier ; Что-то мне не кажется эта грамматика однозначной. Как она отличит два случая из моего ответа?
    – VladD
    3 дек 2013 в 19:35
  • @VladD, а что имеется в виду под явным контекстом?
    – PaulD
    4 дек 2013 в 14:56

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.