パーズツリーを抽象構文ツリーに縮小するにはどうすればよいですか？

Question

構文木（具体的な構文木）を抽象構文木に縮小する一般的な戦略は何ですか？

、解析ツリーとして残した場合、私はの子を連結した場合

program 
     statement_list 
       statement_list 
         statement 
           definition 
             p_type 
             assignment 
       statement 
         definition 
     statement 
       assign 
         assignment 

のような出力をあおる生成します

statement_list : statement 
       | statement_list statement 

：

例えば、私は次の文法規則を持っています各ノード（構文解析後の文リストには固有の意味がないため）は次のようになります。

program 
     definition 
       p_type 
       assignment 
     definition 
     assign 
       assignment 

これはうまくいきましたが、私はこれを行うための "ルール"を知らないです。私が簡素化するために探しているはずの具体的な文法規則はありますか？それは感じの問題なのですか、それとももっと機械的なプロセスがありますか？

Answer 1

「気分」の問題ではありません。抽象構文木は、解析されたものの意味（セマンティクス）に依存します。これらは規則であると思います。

1. 意味を追加しないトークンのノードを削除します。それらは中間キーワード（「then」など）、セパレータ（カンマなど）、および かっこ（括弧のようなもの）などの です。
2. 意味のあるトークン（「if」など）を同じルール内の他のトークンの親にすることを促進します。

レシピはありません。ターゲット言語のフレーズが何を意味するかによって異なります。