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

Question

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

layout Layout        = " "?; 
start syntax Start1       = "{" "c"? "}"; 
start syntax Start2       = "{" "c" "}" 
              | "{" "}"; 

Кроме того, я хотел бы знать, если есть другой способ представления Start2 без дублирования, чем Start1, что не вызывает такую ​​же неопределенность.

Очевидно, что здесь нет большого количества дубликатов, и Start2 - хороший вариант здесь, но это всего лишь пример. Я работаю с грамматикой со многими постановками, которые содержат три или четыре необязательные части, и в последнем случае обозначение, отображаемое в Start2, уже требует дублирования нефакультативных частей производства 2^4 = 16 раз, что действительно является хлопотным в моей мнение.

Answer 1

Ваша грамматика сначала расширена до того, как анализатор генерируется на что-то похожее на это:

layout Layout       = " "?; 
syntax " "?       = | " "; 
syntax Start1       = "{" Layout "c"? Layout "}"; 
syntax "c"?       = | "c"; 
lexical " "       = [\ ]; 
lexical "c"       = [c]; 
lexical "{"       = [{]; 
lexical "}"       = [}]; 
syntax Start2       = "{" Layout "c" Layout "}" 
             | "{" Layout "}"; 
syntax start[Start1] = Layout Start1 Layout; 
syntax start[Start2] = Layout Start2 Layout; 

Так для входа как { } (пространство между фигурной скобкой), пространство может быть получено с помощью первого экземпляра Макет в правой части правила Start1 или второй экземпляр макета. Так как синтаксический анализатор производит все деревья деривации, в этом случае разбор равен неоднозначно так сказать.

Обычно неоднозначность решается путем введения жадность используя ограничение последующей следующим образом:

layout Layout = " "? !>> " " 

или (что эквивалентно) как так:

layout Layout = " "? !>> [\ ] 

Ограничение действует как ограничение на Правило макета: оно ничего не выведет (даже пустую строку), если после него будет пробел. Это делает только первый вывод действительным тогда, когда пространство входит в первый экземпляр макета Start1. После этого есть }, который удовлетворяет ограничению, и синтаксический разбор однозначен.