1 ответ
Нет.
Грамматика C не является контекстно-свободной. Например, выражение
a((b)*c);
может являться
- если
a
— функция,b
— тип,c
— указатель: разыменование указателяc
, приведение результата к типуb
, передача полученного значения как параметра в функциюa
; - если
a
— функция,b
— числовая переменная/константа,c
— числовая переменная/константа: умножение значенийb
иc
, передача полученного значения как параметра в функциюa
.
Таким образом, правильный разбор невозможен без контекста. LL-парсеры предназначены лишь для контекстно-свободных грамматик.
-
-
Я бы взял lex/yacc (flex/bison), ввёл явный контекст, разрешил неоднозначности вручную.– VladD3 дек 2013 в 19:27
-
@SoloMio Вот грамматика для ANTLR 4 github.com/antlr/grammars-v4/blob/master/c/C.g4– andrybak3 дек 2013 в 19:32
-
1@Андрей: typedefName : Identifier ; Что-то мне не кажется эта грамматика однозначной. Как она отличит два случая из моего ответа?– VladD3 дек 2013 в 19:35
-