Без заголовка

> Что меня забавляет, так это смешивание абстрактного синтаксиса с семантикой вплоть до неразличения (типичные фразы типа "An abstract syntax tree reflects the semantic structure of a program" Ну оно не то чтобы совсем глупость, поскольку АСТ - это как и есть вход для семантического анализа. Т.е. в АСТ весь чистый синтаксис вырезан и оставлен лишь смыслоразличительный синтаксис, а это уже можно считать семантикой в сыром виде.