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

Term;
while Look in ['+', '-'] do begin
EmitLn('MOVE D0,-(SP)');
case Look of
'+': Add;
'-': Subtract;
else Expected('Addop');
end;
end;
end;
{-}

Конфетка! Почти работающий транслятор в 55 строк Паскаля! Получаемый
код начинает выглядеть действительно полезным, если не обращать внимание на
неэффективность. Запомните, мы не пытаемся создавать сейчас самый компактный
код.

КРУГЛЫЕ СКОБКИ

Мы можем закончить эту часть синтаксического анализатора добавив
поддержку круглых скобок. Как вы знаете, скобки являются механизмом
принудительного изменения приоритета операторов. Так, например, в выражении
2*(3+4) ,
скобки заставляют выполнять сложение перед умножением. Но, что гораздо
более важно, скобки дают нам механизм для определения выражений любой
степени сложности, как, например
(1+2)/((3+4)+(5-6))
Ключом к встраиванию скобок в наш синтаксический анализатор является
понимание того, что не зависимо от того, как сложно выражение, заключенное в
скобки, для остальной части мира оно выглядит как простой показатель. Это
одна из форм для показателя:
::= ()
Здесь появляется рекурсия. Выражение может содержать показатель,
который содержит другое выражение, которое содержит показатель и т.д. до
бесконечности.
Сложно это или нет, мы должны позаботиться об этом, добавив несколько
строчек в процедуру Factor:

{-}
{ Parse and Translate a Math Factor }
procedure Expression; Forward;
procedure Factor;
begin
if Look = '(' then begin
Match('(');
Expression;
Match(')');
end
else
EmitLn('MOVE #' + GetNum + ',D0');

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334