Правило Expr ::= local x assign Expr можно описать так:

Правило Statement ::= Statement StatementList можно описать так:

Следующее правило:

LogExpr ::= LogExpr ComparisonOp LogExpr

можно описать так:

Дан массив инструкций P размера N и массив предложений обработки исключений EH размера M. Этап создания узелов графа для каждой инструкции и формирования из созданных узлов массива на C#-подобном псевдоязыке можно записать так:

Как правило, все exe-файлы содержат в поле ImageBase значение:

Дан массив инструкций B размера G и массив предложений обработки исключений OP размера Z. На выходе этапа создания дерева блоков мы получаем вспомогательный массив T, каждый элемент которого состоит из следующих полей:

Дан массив инструкций B размера G и массив предложений обработки исключений OP размера Z. На выходе этапа создания дерева блоков их минимальное количество в массиве T равно:

Метод CreateCompiler класса CSharpCodeProvider может создавать экземпляр компилятора C#, к которому можно обращаться через интерфейс:

Идентификаторы и метки чаще всего представляют последовательности символов, начинающиеся с латинской буквы (или с символов "_", "$", "@" и "?"), за которой следуют:

Дан массив инструкций B размера G и массив предложений обработки исключений OP размера Z. На входе этапа создания дерева блоков мы имеем:

Дан массив инструкций B размера G и массив предложений обработки исключений OP размера Z. На выходе этапа создания дерева блоков мы получаем: