yaccの規則とまったく同じシンボルの理由は？

Question

identifiers: 
    IDENTIFIER 
    | identifiers ',' IDENTIFIER 
    ; 

identifiers_or_typenames: 
    identifier 
    | identifiers_or_typenames ',' identifier 
    ; 

identifiersとidentifiers_or_typenamesは同じものに評価されるため違いはありません。

Answer 1

実際には構文的にではなく2つを意味的に区別するコードが付加されていることが予想されます。具体的には、前者の宣言は、<typename>（yyerror("typename \"%s\" used as identifier", $1);など）を動的に拒否します。

Answer 2

yaccは大文字と小文字が区別されるため、IDENTIFIERとidentifierは、互いに関係のない2つの異なるものであるか、似ているかもしれませんが微妙な違いがあります。あなたはそれらがどのように定義されているか見る必要があります。私はあなたがよくあなたの2つのルールをかなり異なるものにするかもしれないと思うでしょう。

identifier: IDENTIFIER | TYPENAME ; 

あなたの2つのルールはかなり異なっています。