Опечатки в печатной версии пособия

  1. В подразделе «Метод фундированных множеств Флойда» раздела 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. В блок-схеме 2.5.18 вместо оператора TEST y_2 = -1 должно быть y_2 = 0
  3. В блок-схему 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

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *