プロダクションのオプション部分のレイアウトがあいまいになるのはなぜですか？

Question

ラスカルでは、プロダクションのオプション部分の位置にレイアウトがあると、あいまいさが生じるのはなぜですか？例えば。 "{ }"はStart1としてあいまいですが、次の文法からはStart2というように正確に解析されますが、これはまったく同じであると予想されます。また

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

、私は同じ曖昧さを生じさせないStart1よりも重複せずにStart2を表現する別の方法があるかどうかを知りたいと思います。

明らかにこのコードには重複はありません。ここではStart2が良いオプションですが、これは単なる例です。私は3つまたは4つのオプション部分を含む多くのプロダクションで文法を扱っています。最後のケースでは、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の2番目のインスタンスでレイアウトします。パーサーはすべての派生ツリーを生成するので、この場合は両方とも、構文解析はであいまいです。そうです。

layout Layout = " "? !>> " " 

又は（同等に）ようなので：

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

制限の制約として作用

典型的曖昧さはそうのようなフォロー制限を使用貪欲を導入することによって解決されますレイアウトルール：それに続くスペースがある場合、空の文字列でさえも何も派生しません。これにより、最初の派生のみが有効になり、スペースはStart1の最初のLayoutインスタンス内に入ります。この後、制約を満たす}があり、解析はあいまいではありません。