Как уменьшить дерево синтаксического анализа в абстрактное синтаксическое дерево?

Question

Каковы общие стратегии сокращения дерева синтаксического анализа (т. Е. Конкретного дерева синтаксиса) в абстрактное синтаксическое дерево?

К примеру, у меня есть следующие правила грамматики:

statement_list : statement 
       | statement_list statement 

, который, если оставить в качестве дерева разбора, будет генерировать раздувают вывод, который выглядит как

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

Если я конкатенации детей каждый узел (поскольку список операторов не имеет неотъемлемого значения после разбора), я могу достичь следующих результатов:

program 
     definition 
       p_type 
       assignment 
     definition 
     assign 
       assignment 

Это сработало хорошо - однако я не знаю никаких «правил» для этого. Существуют ли конкретные правила грамматики, которые я должен упростить? Это вопрос, или есть более механистический процесс?

Answer 1

Это не вопрос «чувствовать». Абстрактное синтаксическое дерево зависит от значения (семантики) того, что было проанализировано, и я думаю, что это были бы правила:

1. Удалить узлы для токенов, которые не добавляют значения. Это промежуточные ключевые слова (например, «then»), разделители (например, запятая) и скобки (например, скобки).
2. Содействовать значимым жетонам (например, «если»), чтобы быть родителем других токенов в том же правиле.

Существует не один рецепт. Это зависит от того, что означают фразы на целевом языке.