увеличить изображение
Здесь мы рассмотрим суть неформальных действий, которые выполняются при свертке для того, чтобы построить машинный код. Как было объявлено раньше, нетерминалы соответствуют классам размещений значений, а правила - операндам машинных инструкций или самим машинным инструкциям.
Каждый шаг свертки обладает следующей информацией:
Все это дает возможность разметить дерево шаблонами машинных инструкций, которые содержат мнемонику, режим адресации и ссылки на узлы дерева, которые являются аргументами и результатами команды.
На иллюстрации приведен пример такой разметки. Здесь аргументы команд обозначены точками снизу команды, результаты - точками сверху, пунктирные стрелки указывают на соответствующие вершины дерева.