Дано:
фрагмент программы в виде блок-схемы:

Найти:
определите значение переменной s после выполнения фрагмента алгоритма

Примечание: знаком ":=" обозначена операция присваивания

I этап: проанализируем заданную блок-схему и постараемся выявить и понять все операции, задействованный в ней.

Перечень операций, встречающихся в заданной блок-схеме:

• := - операция присваивания;

• a = 7, изображенное в ромбе - означает условное выражение, то есть, идет проверка if(a = 7) then...;

• + - операция сложения двух значений.

Также очевидно, что в блок-схеме представлена циклическая конструкция, по структуре схожая с циклом
< while(условие) do >, как в языке программирования Pascal.

Вообще, если записать предложенный алгоритм на языке программирования Turbo Pascal, то получим следующее:

II этап: сформируем и заполним процессинговую таблицу переменных

До начала цикла следуют два оператора:

a := 2;
s := 0;

данные операторы отвечают за предварительную инициализацию переменных a и s, до того, как управление программой оказалось внутри цикла while.

Затем управление передается в условие цикла и проверяется выражение: a = 7.
Очевидно, что это ЛОЖЬ (так как 2 <> 7), следовательно, выполняются два оператора, представленных в теле цикла:

Затем управление передается в условие цикла и проверяется выражение: a = 7.
Очевидно, что это ЛОЖЬ (так как 3 <> 7), следовательно, выполняются два оператора, представленных в теле цикла:

Затем управление передается в условие цикла и проверяется выражение: a = 7.
Очевидно, что это ЛОЖЬ (так как 4 <> 7), следовательно, выполняются два оператора, представленных в теле цикла:

Затем управление передается в условие цикла и проверяется выражение: a = 7.
Очевидно, что это ЛОЖЬ (так как 5 <> 7), следовательно, выполняются два оператора, представленных в теле цикла:

Затем управление передается в условие цикла и проверяется выражение: a = 7.
Очевидно, что это ЛОЖЬ (так как 6 <> 7), следовательно, выполняются два оператора, представленных в теле цикла:

Затем управление передается в условие цикла и проверяется выражение: a = 7.
Очевидно, что это ИСТИНА (так как 7 = 7), следовательно, производится выход из цикла и построение процессинговой таблицы закончено. Осталось лишь посмотреть на значение переменной s в самой нижней строке таблицы.
Очевидно, что s = 25.

1. разобрали структуру алгоритма, представленного в виде блок-схемы;

2. построили процессинговую дифференцированную таблицу с разрезом по значениям переменных;

3. заполнение таблицы прекратилось, когда значение переменной а достигло 7.