ambiguous-grammar

1зной

1ответ

Почему макет вокруг необязательных частей производства вызывает неоднозначность?

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

0зной

1ответ

Verilog `PATHPULSE $` Синтаксис

При чтении спецификации Verilog я заметил своеобразную синтаксическую конструкцию, включающую указание импульсов пути. В частности, операторы в форме PATHPULSE$in_port$out_port = ...; В соответствии

2зной

1ответ

Как Swift disambiguate Тип Аргументы в выражениях Контексты?

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

1зной

1ответ

Shift/уменьшить конфликт в Happy грамматике

я получил следующее (сильно урезанная) Happy грамматику %token '{' { Langle } '}' { Rangle } '..' { DotDot } '::' { ColonColon } '@' { At } mut { Mut } ident { Ident

0зной

1ответ

эта грамматика неоднозначна

Я хочу, чтобы преобразовать эту грамматику к однозначному грамматики: S -> if E then S | if E then S else S | a E -> b Я нашел решение, которое является более сложным, чем мое решение, но

0зной

1ответ

Правильность грамматики для логики высказываний

Я пытаюсь написать грамматику пропозициональной логики с целью создания парсера LL (лексический анализ). Я попробовал следующую грамматику: F = F and F F = F or F F = F => F F = F <=> F F = not F

1зной

1ответ

Resolve двусмысленность из грамматики для списка инициализации C

я не могу показаться, чтобы устранить неоднозначность, содержащиеся в следующем правиле: InitializerList_a → [Initializer] [InitializerList_a] Это вызывает сдвиг/свертка конфликт в моем парсере (я исп

-1зной

1ответ

Составители: изменение неоднозначной грамматики

У меня есть небольшая проблема с этим упражнением. С учетом этой грамматики: S -> aX | X X -> aXb | b | eps ) показывает, что она неоднозначна со строкой б) сказать, что язык отражает грамматику с)

2зной

1ответ

сделать menhir найти все альтернативы?

Я хотел бы изменить поведение вывода мениргов следующим образом: Я хочу, чтобы он искал все грамматические альтернативы, если он найдет их, и поместит их в список и вернет мне эту интерпретацию ambigo