Ваш вопрос, кажется, не совсем правильно сформулирован.
В предположении вы имеете в виду "листовые узлы", где вы написали "последние узлы", да, вы можете ассоциировать семантическую информацию не только с листьями, но и с внутренними узлами.
Простым примером будет «тип этого выражения». Понятно, что конечный узел, содержащий литерал TRUE, будет иметь связанный с ним тип выражения «логический». Выражение «if e затем 2.7, иначе 9.3 endif» имеет соответствующий AST, а внутренний узел, соответствующий выражению if, будет иметь связанный тип «float».
Существует множество «семантических» свойств, которые можно предложить: «использует переменные X, Y, Z», «не имеет побочных эффектов», «создает параллельные подпроцессы» и т. Д., Любое из которых может применяться к внутренним узлам дерева.