Свойства альтов дают возможность использовать их для определения:

Достижимые определения являются:

Для определения типа дуги используется:

Для определения завершаемости алгоритма используется принцип:

Для определения операции подстановки, в одном из двух деревьев выбирается лист, который затем:

Примером определения типов, значения которых возвращаются как значения семантик является:

Для представления компилятора мы можем использовать так называемые:

Для изучения сгенерированного MSIL-кода можно использовать утилиту:

Метод рекурсивного спуска без возвратов можно использовать только для:

В .NET использовать механизм регулярных выражений можно с помощью следующих клссов: