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

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

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

Леворекурсивные грамматики не обладают свойством:

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

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

Если существует, по крайней мере, одна выводимая в грамматике цепочка, для которой существует более одного вывода, то такая грамматика является:

LL-грамматики обладают следующими свойствами:

МП-автоматы обладают одним существенным недостатком:

Данная грамматика:

E -> T | TE'E' -> +T | +TE'T  -> F | FT'T'-> *F | *FT'F -> (E) | num

обладает свойством:

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

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

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