Importation des tableaux a partir autres applications
Если вершины i и j графа соответствуют участкам i и j программы, то дуга идет из i в j, если:
1) последний оператор участка i не является ни оператором перехода, ни оператором останова, а участок j следует в программе за участком i или
2) последний оператор участка i является оператором перехода на метку L, которой помечен первый оператор участка j.
Сильно связанной областью направленного графа называется такое множество его вершин, что для любых двух вершин x и y (x!= y) существует путь из x в y.
|