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

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

Дерево, содержащее все вершины графа и некоторые его дуги:

Дуги, которые входят в состав остовного дерева - это:

Дуги, чей конец достижим из начала в остовном дереве называются:

Дуги, чье начало достижимо из конца в остовном дереве называются:

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

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

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

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

Для типа-значения верно: