Дано:
фрагмент программы, записанный на различных языках программирования:

Вопрос:
определите значение переменной с после выполнения следующего данного фрагмента программы.

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

Во-первых, сразу отбросим "Алгоритмический язык", так как нет ничего более неуместного, чем пытаться разбирать код программы, записанный на некоем неформализованном языке. Слишком много возникает дуальностей.

Во-вторых, избавимся от языка программирования "Чистый С", так как данный язык обладает внутренней сложность и, как правило, любой код на данном языке является запутанным и плохо поддающимся анализу.

В-третьих, исключим язык программирования "Basic", так как в отличие от языка программирования Turbo Pascal, он имеет слабую типизацию, а также неудобные подпрограммы для обработки строковых величин. В дополнении, Basic не имеет встроенный тип данных, описывающий Множества.

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

II этап: анализ представленного фрагмента программы

Для эффективного решения потребуется ввести процессинговую таблицу переменных, отображающей все изменения значений переменных, используемых в данном фрагменте кода. Данная таблица будет состоять из трех колонок:

1. отвечает за значения переменной а;

2. отвечает за значения переменной b;

3. отвечает за значения переменной c.

В первых двух строках представленного кода происходит предварительная инициализация переменных a и b:

a := 5;
b := 13;

в итоге процессинговая таблица примет вид:

Затем происходит реинициализация переменной b:

b := b - a * 2;

в итоге процессинговая таблица принимает вид (переменная a не меняет своего текущего значения):

Затем происходит проверка условного выражения:

if a > b then

Произведем подстановку значений переменных (а = 5, b = 3): 5 > 3 - TRUE, следовательно, управление передается в блок if, в котором присутствует следующий код:

c := a - b;

в итоге процессинговая таблица принимает вид (переменные a и b не поменяли своего значения):

Как видно из заполненной процессинговой таблицы, значение переменной с имеет значение равное 2.

1. выбрали в качестве базового языка язык программирования Pascal;

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