Можно ли создать компилятор без AST?

Question

[Ttimofeyka]

Здравствуйте.
Я интересуюсь темой компиляторов, и хотел бы узнать, возможно ли создать более-менее качественный компилятор без AST(и как такое может быть реализовано).
Заранее спасибо за ответы.

Answer 1

[Сергей Горностаев]

Качественный нельзя.

Comments

[Everything_is_not_so_bad]

Неаргументированный ответ.

[Сергей Горностаев]

Роман Мирр, ваша правда. К сожалению, в последнее время я могу уделять ресурсу мало времени и часто делаю это с мобилы. Может быть кто-нибудь другой сможет дать другой ответ и развернуть в нём мысль.

[Everything_is_not_so_bad]

Сергей Горностаев, можно дать ссылку на ресурс, например.

[Сергей Горностаев]

Роман Мирр, https://www.litres.ru/alfred-v-aho/kompilyatory-pr...

Answer 2

[Freeman]

В однопроходном компиляторе этапы синтаксического и семантического анализа могут быть объединены. AST становится виртуальной, существующей в памяти разборщика в момент его работы в виде стека контекстов и другой служебной информации, в явном виде (как в ANTLR) не создается . Предположительно именно так были реализованы классические компиляторы Turbo Pascal и Delphi.

Результатом работы такого разборщика становится промежуточное представление, уже не являющееся AST — семантический граф, промежуточный (трехадресный) код со служебной информацией, либо же какой-то свой тип. В своем проекте, скажем, я буду генерить обратимый код, поддерживающий отекстовку в сильно вариативный синтаксис.

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