はこの文法は、私は明確な文法にこの文法を変換したい曖昧

Question

です：

S -> if E then S 
    | if E then S else S 
    | a 
E -> b 

私は私の解決策よりも複雑である解決策を見つけたが、私は私の解決策が正しいかどうかはわからない。

S -> if E then T else S 
    | if E then S 
    | a 
T -> if E then T else T 
    | a 
E -> b 

私の解決策は正しいですか？

Answer 1

私にはうまく見えます。それは本当に多くの異なる標準溶液からではありません。

stmt  : matched | unmatched 
matched : "if" expr "then" matched "else" matched 
      | other_stmt 
unmatched : "if" expr "then" unmatched 
      | "if" expr "then" matched "else" unmatched 

標準溶液の利点はother_stmt（あなたの文法でa）が重複していないことである、と文法が他の複合文を拡張することが容易です。たとえば、whileという文を追加した場合：

stmt  : matched | unmatched 
matched : "if" expr "then" matched "else" matched 
      | "while" matched 
      | other_stmt 
unmatched : "if" expr "then" unmatched 
      | "if" expr "then" matched "else" unmatched 
      | "while" unmatched