Визуализация работы цикла `while`

Начальные значения: a = 1, b = 2

Условие цикла: a + b < 8

Шаг Действие a b a + b a + b < 8 ?
0 До цикла 1 2 3 Истина
1 a := a + 1 2 4 6 Истина
b := b + 2 2 4
2 a := a + 1 3 6 9 Ложь
b := b + 2 3 6
3 После цикла 3 6 9 -

Цикл завершен, так как условие a + b < 8 (9 < 8) стало ложным.

Вычисление s:

s := a + b
s = 3 + 6
s = 9