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

проигранная битва... возможно никогда не придет время, когда хороший
программист на ассемблере не смог бы превзойти компилятор. Прежде чем
закончится этот урок, я кратко упомяну некоторые способы, которые мы можем
применить для небольшой оптимизации, просто, чтобы показать вам, что мы на
самом деле сможем сделать некоторые улучшения без излишних проблем. Но
запомните, мы здесь для того, чтобы учиться, а не для того, чтобы узнать
насколько компактным мы можем сделать код. А сейчас и на протяжении всей
этой серии мы старательно будем игнорировать оптимизацию и сконцентрируемся
на получении работающего кода.
Но наш код не работает! В коде есть ошибка! Команда вычитания вычитает
D1 (первый аргумент) из D0 (второй аргумент). Но это неправильный способ,
так как мы получаем неправильный знак результата. Поэтому исправим процедуру
Subtract с помощью замены знака следующим образом:

{-}
{ Recognize and Translate a Subtract }
procedure Subtract;
begin
Match('-');
Term;
EmitLn('SUB D1,D0');
EmitLn('NEG D0');
end;
{-}

Теперь наш код даже еще менее эффективен, но по крайней мере выдает
правильный ответ! К сожалению, правила, которые определяют значение
математических выражений, требуют, чтобы условия в выражении следовали в
неудобном для нас порядке. Опять, это только один из фактов жизни, с
которыми вы учитесь жить. Все это возвратится снова, чтобы преследовать нас,
когда мы примемся за деление.
Итак, на данном этапе мы имеем синтаксический анализатор, который может
распознавать сумму или разность двух цифр. Ранее мы могли распознавать
только одиночные цифры. Но настоящие выражения могут иметь любую форму (или
бесконечность других). Вернитесь и запустите программу с единственным
входным символом "1".
Не работает? А почему должен работать? Мы только указали анализатору,
что единственным правильными видами выражений являются выражения с двумя
термами. Мы должны переписать процедуру Expression так, чтобы она была
намного более универсальной и с этого начать создание настоящего
синтаксического анализатора.

ОБЩАЯ ФОРМА ВЫРАЖЕНИЯ

В реальном мире выражение может состоять из одного или более термов,
разделенных "addops" ('+' или '-'). В БНФ это может быть записано как:
::= [ ]*
Мы можем применить это определение выражения, добавив простой цикл к
процедуре Expression:

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334