Я немного читал о том, как работают интерпретаторы / компиляторы, и об одной области, где яЯ путаюсь - это разница между AST и CST. Насколько я понимаю, парсер создает CST, передает его семантическому анализатору, который превращает его в AST. Тем не менее, я понимаю, что семантический анализатор просто обеспечивает соблюдение правил. Я неЯ действительно не понимаю, почему он действительно вносит какие-либо изменения, чтобы сделать его абстрактным, а не конкретным.

Есть ли что-то, что яМне не хватает семантического анализатора, или разница между AST и CST несколько искусственная?