Сейчас изучаю книгу Ульмана "Компиляторы - принципы, технологии, инструменты". Автор ввел эти два понятия, но я не могу понять отличия.
-
1Думаю книгу тут врядли кто читал именно эту. Скажу что задача подсветка синтаксиза гораздо проще чем разбор кода, и не требует связи всех частей кода так плотно. – nick_n_a 9 мар '17 в 8:10
-
Автор ввел эти два понятия - не плохо было бы определения из книги привести – Grundy♦ 9 мар '17 в 8:35
-
Есть правила которые на смысл программы не влияют. Ну например всякие лишние скобочки для группировки операндов. В ast их нет так как не нужны, в дереве разбора - они есть. То есть ast - это такое кристализованное дерево разбора, в котором осталось только важное. btw я уверен что у Ульмана это объяснено где-то, только Вы проскочили наверн – Утка Учится Укрываться 9 мар '17 в 8:36
1 ответ
В процессе обработки исходного кода строится сначала дерево разбора, а затем из него (возможно, через дополнительные этапы) строится АСД: всевозможными устранениями синонимов, избыточных элементов, незначащих конструкций (комментариев?) — всего, что не относится к определению поведения.
Это преобразование с потерей данных. Если из дерева разбора ещё бывает возможно восстановить исходный код, то из АСД уже нет.
А вот что говорит Википедия про АСД:
Абстрактное синтаксическое дерево отличается от дерева разбора тем, что в нём отсутствуют узлы и рёбра для тех синтаксических правил, которые не влияют на семантику программы. Классическим примером такого отсутствия являются группирующие скобки, так как в АСД группировка операндов явно задаётся структурой дерева.