Перейти к содержимому
- В подразделе «Метод фундированных множеств Флойда» раздела 1.4 перед теоремой 2 (страница 36) был упущен следующий абзац:
Для каждого пути \alpha из оператора START с функцией f в оператор HALT с функцией h, внутри которого нет точек сечения: \forall x \in D_x [ \varphi(x) && R’_\alpha(x) ==> h(x, r’_\alpha(x)) \neq \omega ]
- В блок-схеме 2.5.18 вместо оператора TEST y_2 = -1 должно быть y_2 = 0
- В блок-схему 2.5.7 следует внести следующие исправления:
- оператор START (y1, y2, y3) <- (1, 1, 1)
- оператор HALT z <- y2 + 2 * y3 + 1 * второй оператор TEST y2 > y3
- первый оператор ASSIGN (y1, y2) <- (y1 + 1, y2 — 2y1 + 1)
- второй оператор ASSIGN y3 <- 2*y1 + y3 — 1