A присвоил себе 1
b также присвоил себе 1
a>5 - неверно, значит идем по стрелки где "нет"
b:=a+b(1+1) - b присваивает себе ответ и становиться равным 2
a:=a+1(1+1) так же как с b
b:=-a+b(-2+2)=0
Идем по стрелки, помним что a=2, но a все равно меньше 5, значит повторяем процесс:
b:=2+0=2
a:=2+1=3
b:=-3+0=-3
И опять повторяем:
b:=3+(-3)=0
a:=3+1=4
b:=-4+0=-4
И опять:
b:=4+(-4)=0
a:=4+1=5
b:=-5+0=-5
И это последний раз:
b:=5+(-5)=0
a:=5+1=6
b:=-6+0=-6
Теперь a>5, значит преходим по стрелки "да"
b:=-6
Конец.
Не знаю как можно сделать проще.