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

Следующий алгоритм: удаление всех недостижимые состояния, разбивка множества всех достижимых состояний на классы эквивалентности неразличимых состояний, из каждого класса эквивалентности берется только по одному представителю - это:

Выделение некоторого участка программы, к которому может быть применено преобразование - это:

Идея создания некоторого обобщенного алгоритма, проверяющего за конечное число шагов принадлежность данной цепочки языку является альтернативой:

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

Одним из способов задания деревянных языков являются:

Извлечение из MSIL исходных текстов путем дизассемблированя вряд ли имеет смысл, так как имена локальных переменных, констант и параметров сохраняются только:

Множества входных и начальных вершин для компонент сильной связности:

Для данной грамматики:

S -> B AA -> +B A A -> eB -> D CC -> * D C C -> eD -> (S) D -> a

множества FIRST определяются следующим образом:

При использовании def-use chains необходимо, чтобы множества входов и выходов для разных операторов:

Взаимно однозначное отображение множества вершин графа на отрезок натурального ряда [1..|V|] называется: