"Джек Креншоу. Давайте создадим компилятор! " - читать интересную книгу автора

правильно сообщает об ошибке.
Поздравляю! Вы только что написали работающий транслятор!
Конечно, я понимаю, что он очень ограничен. Но не отмахивайтесь от
него. Этот маленький "компилятор" в ограниченных масштабах делает точно то
же, что делает любой большой компилятор: он корректно распознает допустимые
утверждения на входном "языке", который мы для него определили, и производит
корректный, выполнимый ассемблерный код, пригодный для перевода в объектный
формат. И, что важно, корректно распознает недопустимые утверждения, выдавая
сообщение об ошибке. Кому требовалось больше?
Имеются некоторые другие особенности этой маленькой программы,
заслуживающие внимания. Во первых, вы видите, что мы не отделяем генерацию
кода от синтаксического анализа... как только анализатор узнает что нам
нужно, он непосредственно генерирует объектный код. В настоящих
компиляторах, конечно, чтение в GetChar должно происходить из файла и затем
выполняться запись в другой файл, но этот способ намного проще пока мы
экспериментируем.
Также обратите внимание, что выражение должно где-то сохранить
результат. Я выбрал регистр D0 процессора 68000. Я мог бы выбрать другой
регистр, но в данном случае это имеет смысл.

ВЫРАЖЕНИЯ С ДВУМЯ ЦИФРАМИ

Теперь, давайте немного улучшим то, что у нас есть. По общему
признанию, выражение, состоящее только из одного символа, не удовлетворит
наших потребностей надолго, так что давайте посмотрим, как мы можем
расширить возможности компилятора. Предположим, что мы хотим обрабатывать
выражения вида:
1+2
или 4-3
или в общем  +/-  (это часть формы Бэкуса-Наура или БНФ.)
Для того, чтобы сделать это, нам нужна процедура, распознающая термы и
сохраняющая результат, и другая процедура, которая распознает и различает
"+" и "-" и генерирует соответствующий код. Но если процедура
Expression сохраняет свои результаты в регистре D0, то где процедура Term
сохранит свои результаты? Ответ: на том же месте. Мы окажемся перед
необходимостью сохранять первый результат процедуры Term где-нибудь, прежде
чем мы получим следующий.
В основном, что нам необходимо сделать - создать процедуру Term,
выполняющую то что раннее выполняла процедура Expression. Поэтому просто
переименуйте процедуру Expression в Term и наберите новую версию Expression:

{-}
{ Parse and Translate an Expression }
procedure Expression;
begin
Term;
EmitLn('MOVE D0,D1');
case Look of
'+': Add;
'-': Subtract;

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334