Как мы можем сделать эту грамматику Expression однозначной для синтаксического анализа LL(1)? Грамматика очень похожа на выражения, используемые в большинстве C-подобных языков. Примечание. Строки в ‹> не являются терминальными, а строки...

У меня неоднозначная контекстно-свободная грамматика, в которой есть продукты: s --> [0],s,[1]. s --> [0],s. s --> []. Это, конечно, неоднозначно, потому что для 00011 я могу нарисовать два других дерева разбора. Я должен написать...

Я хочу для каждого из следующих языков на Т={а, Ь, с} построить соответствующее регулярное выражение и регулярную грамматику: Все строки, содержащие ровно три буквы «а». Все строки, содержащие не более трех букв b. Как я могу это сделать?

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

нужна помощь с нерасширенной грамматикой BNF: Σ = {a,b,c} L = {ω ɛ Σ^* | such that all a's (if any) comes before all c's(if any)} Например, строки aba, cbc и abacbc присутствуют в языке, а строка abcabc — нет. Это то, что у меня есть до...

Недавно я достаточно увлекся LALR, чтобы написать генератор LALR и Я пытаюсь построить для него грамматику в стиле java или c # (начало которой указано здесь ). Я знаю, что написание генератора синтаксического анализатора требует дополнительных...

Я пишу простой калькулятор на yacc / bison . Грамматика для выражения выглядит примерно так: expr : NUM | expr '+' expr { $$ = $1 + $3; } | expr '-' expr { $$ = $1 - $3; } | expr '*' expr { $$ = $1 * $3; } | expr '/' expr { $$ = $1 / $3; } |...

У меня есть такие правила грамматики; S -> S and S S -> S or S S -> (S) S -> true | false -- and , or , ( , ) , true ,false are terminals -- Я могу выяснить, что эта грамматика неоднозначна, но как я могу изменить эту...

Взгляните на следующие два выражения: baz(Foo<Bar, Bar>(0)) baz(Foo < Bar, Bar > (0)) Не зная, что такое baz , Foo и Bar ( baz может быть типом или методом, Foo и Bar могут быть типами или переменными), невозможно...

Почему в Rascal, когда на позиции необязательной части продукции находится макет, это вызывает двусмысленность? Например. "{ }" неоднозначен, как Start1 , в то время как он отлично анализируется как Start2 из следующей грамматики, которая, как...

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

С → асг S → если C, то S E С → логический E → иначе S E → λ все строчные буквы и λ являются терминальными символами Мне нужна помощь в получении следующего набора этой грамматики. Обычно у меня не возникает проблем с этими задачами,...

У меня есть файл, который описан грамматикой. У него есть раздел, который может состоять из одного или двух видов содержимого, и он может располагаться в произвольном порядке: ... type_a_thing type_b_thing type_b_thing type_a_thing .... Или...

У меня есть грамматика, которая, как мне кажется, неоднозначна. Я не знаю, как устранить двусмысленность и преобразовать ее в однозначную грамматику. expr ::= num | lvalue | incrop expr | expr incrop | expr binop expr | (expr) lvalue ::=...

Я изучаю двусмысленность в грамматике, и мне нужна небольшая помощь, чтобы лучше понять. Вот грамматика: <S> ::= if <S> then <S> <S> ::= if <S> then <S> else <S> <S> ::= a Используя дерево...