. Как лучше всего обрабатывать различные действия для одного и того же правила в bison?

Задавать вопрос

спросил 6 лет, 4 месяца назад

Изменено 6 лет, 4 месяца назад

Просмотрено 211 раз

У меня следующая грамматика (SSCCE):

 %токен СЛОВО
%%
программа: слово слово
            ;
word : WORD // нужно перевести только первое слово
            ;
 

Правило слово : СЛОВО должно иметь такое действие, что семантическое значение лексемы для СЛОВО соответствующим образом «переводится» в семантическое значение для левой стороны, только если это первое слово в правиле Программа : слово слово .

Как лучше всего это сделать в bison?

Я не вижу, как это сделать с помощью действий. Я должен расширить саму грамматику до этого:

 %токен СЛОВО
%%
программа : слово_переведено слово_не_переведено
            ;
word_translated : WORD { // перевести }
            ;
word_not_translated : WORD { // не переводить }
            ;
 

ОК, но это мне не нравится. Поскольку в грамматике есть два символа word_translated и word_not_translated , которые совершенно одинаковы с точки зрения грамматики, поэтому грамматика слишком сложна и должна быть упрощена, чтобы иметь один

Является ли это единственным способом сделать это, и является ли это лучшей практикой в ​​​​bison для решения подобных ситуаций?

• разбор
• бизон

3

Семантические действия лучше всего выполнять из деревьев синтаксического анализа в любом компиляторе или интерпретаторе. Если вы пытаетесь выполнить лингвистические семантические действия в направлении действий правила бизона, вы всегда попадете в тот беспорядок, который вы описали.

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

5

Я со всем уважением не соглашусь с утверждением Брайана о том, что действия bison должны использоваться исключительно для построения дерева синтаксического анализа, а затем после синтаксического анализа нужно пройтись по дереву и во время этого предпринять реальные действия. Или же «всегда попадаешь в какую-то неразбериху».

Если бы это было так, то классический текст O’Reilly yacc не говорил бы: «Часто код действия строит дерево синтаксического анализа, соответствующее ввода, так что более поздний код может обрабатывать весь оператор или даже весь программу за раз». Вместо «часто» было бы что-то вроде «всегда».

Однако ответ Брайана был очень полезен тем, что, пытаясь понять его, мне пришлось дочитать. И тут я узнал ИМХО правильный ответ на мой вопрос, как он опубликован Я опубликую ответ на благо будущих браузеров.

ИМХО, правильно использовать $0 . С исходной грамматикой в ​​моем посте псевдокодом для действия будет:

 if ($0 имеет смысл)
    $$ = $1
еще
    $$ = перевести($1)
 

4

Зарегистрируйтесь или войдите в систему

Зарегистрируйтесь с помощью Google

Зарегистрироваться через Facebook

Зарегистрируйтесь, используя адрес электронной почты и пароль

Опубликовать как гость

Электронная почта

Требуется, но не отображается

Опубликовать как гость

Электронная почта

Требуется, но не отображается

спросил 1 год, 8 месяцев назад

Изменено 1 год, 8 месяцев назад

Просмотрено 372 раза

Я новичок в Antl4. У меня есть файл грамматики antlr, который состоит из чего-то похожего на:

 согласных: 'b' | 'с' | 'д' | 'ф';
гласная: 'а' | 'е' | 'я';
соединитель: ':' | '-';
cseq : (согласная)+ ;
всек : (гласный)+ ;
префикс: cseq vseq;
слово : (cseq vseq | cseq)+ ;
 

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

• разбор
• antlr
• грамматика

1

Несколько вещей, о которых следует помнить.

• правила синтаксического анализатора — это правила, начинающиеся со строчной буквы
• правила лексера — это те, имя которых начинается с прописной буквы (довольно распространенное соглашение состоит в том, чтобы сделать все прописными)
• , если вы поместите литеральный символ в правило синтаксического анализатора (все ваши правила являются правилами синтаксического анализа, поскольку они начинаются с символов нижнего регистра), ANTLR синтезирует правило TOKEN для этих символов.

Поскольку кажется, что вы хотите, чтобы слово было лексической единицей (токеном), вы могли бы сделать что-то вроде:

 фрагмент СОГЛАСНАЯ : 'b' | 'с' | 'д' | 'ф';
фрагмент ГЛАСНАЯ : 'а' | 'е' | 'я';
СОЕДИНИТЕЛЬ: ':' | '-'; // не уверен, что вы собираетесь для этого
фрагмент CSEQ: CONSONANT+ ;
фрагмент VSEQ : ГЛАСНАЯ+ ;
ПРЕФИКС: CSEQ VSEQ; // не уверен, что вы собираетесь для этого
СЛОВО: (CSEQ VSEQ | CSEQ)+ ;
 

(Это делает довольно много предположений о ваших намерениях.)

Главное, если вы хотите, чтобы WORD были отдельными токенами, они должны быть определены как правило Lexer.

Если вы хотите составить правила для правил Lexer, вы можете определить правила фрагмента . Эти правила можно использовать для составления правил Lexer, но сами по себе они не будут распознаваться как токены.

С внесенными здесь изменениями вы сможете использовать WORD в правиле синтаксического анализатора и иметь все символы, составляющие ваши 9 символов.