Алгоритм - диаграмма Насси-Шнейдермана

Ответ x = {2, 4, 1, 5, 7, 11}, но почему именно такой?

это вообще невозможно определить пока неизвестно начальное состояние массива.

И сразу спрошу, а в вашем-то решении какой ответ получается?

изначально не понимаю условие x[i]>x[x+1]

1.1.1 (треугольник) выполняется проверка условия. Для этого вычисляется чему равно:
i (оно равно одному)
i+1 (оно равно двум)
x[i] (т.е. x[1], оно равно двум)
x[i+1] (т.е. x[2], оно равно пяти)
и выполняется сравнение "два больше пяти?", ответ - "нет, это ложь", поэтому идем по ветке "нет", там пустые прямоугольники, т.е. никаких действий не происходит.

1.1.1 (треугольник) выполняется проверка условия. Для этого вычисляется чему равно:
i (оно равно одному)
i+1 (оно равно двум)
x[i] (т.е. x[1], оно равно двум)
x[i+1] (т.е. x[2], оно равно пяти)
и выполняется сравнение "два больше пяти?", ответ - "нет, это ложь", поэтому идем по ветке "нет", там пустые прямоугольники, т.е. никаких действий не происходит.

Извините, вообще не понимаю, почему x[i]=2 и x[i+1]=5. Ведь у нас i = 1 изначально, туда присвоено значение 1, почему тогда в x[i] будет равно 2?

Jester223,
обращение к элементам массива делается так:
ИмяМассива[НомерЭлемента]
Каждый элемент массива ведет себя как обычная переменная. Номер элемента может быть как константой, так и выражением. Например:
A[5] := 10 // в пятый элемент массива А поместили число десять
Или
R := 4
A[R+1] := 10 // то же самое, в пятый элемент массива А помещают число десять. А переменная R как в предыдущей команде получила значение 4, так это значение в переменной R и осталось. Значение переменной R использовалось для вычисления выражения, которое является адресом элемента массива к которому идет обращение.
Адрес элемента и значение элемента - разные вещи.
Если сказанное выше понятно, двигаемся дальше. Если нет, задавайте вопрос как можно подробнее.
Вот как нужно, шаг за шагом, разбирать ваш алгоритм:
1. (второй прямоугольник) видим, что будет выполняться цикл - в переменную i последовательно будут присваиваться значения от 1 до 5 включительно.
1.1 Первая итерация цикла, в переменную i помещено значение 1
1.1.1 (треугольник) выполняется проверка условия. Для этого вычисляется чему равно:
i (оно равно одному)
i+1 (оно равно двум)
x[i] (т.е. x[1], оно равно двум)
x[i+1] (т.е. x[2], оно равно пяти)
и выполняется сравнение "два больше пяти?", ответ - "нет, это ложь", поэтому идем по ветке "нет", там пустые прямоугольники, т.е. никаких действий не происходит.
Обратите внимание, все эти вычисления никак не изменяют ни массив, ни переменную i, переменная i как была равна единице, так и осталась равной единице
1.2 Вторая итерация цикла, в переменную i помещено значение 2
1.2.1 (треугольник) выполняется проверка условия. Для этого вычисляется чему равно:
i (оно равно двум)
i+1 (оно равно трем)
x[i] (т.е. x[2], оно равно пяти)
x[i+1] (т.е. x[3], оно равно четырем)
и выполняется сравнение "пять больше четырех?", ответ - "да, это истина", поэтому идем по ветке "да"
1.2.2 (первый прямоугольник под треугольником)
сначала вычисляются величины:
i (оно равно двум)
x[i] (т.е. x[2], оно равно пяти)
затем величина пять присваивается переменной t, т.е. значение переменной t становится равным пяти
1.2.3. (второй прямоугольник под треугольником)
сначала вычисляются величины:
i (оно равно двум)
i+1 (оно равно трем)
x[i+1] (т.е. x[3], оно равно четырем
затем значение четыре присваивается второму элементу массива, старое значение элемента при этом исчезает.
Только в этом месте массив в первый раз изменился теперь массив x = {2, 4, 4, 1, 11, 7}
1.2.4 (третий прямоугольник под треугольником)
сначала вычисляются величины:
i+1 (оно равно трем)
t (оно равно пяти)
затем значение пять присваивается третьему элементу массива, старое значение элемента при этом исчезает.
В этом месте массив еще раз изменился теперь массив x = {2, 4, 5, 1, 11, 7}
1.3 Вторая итерация цикла, в переменную i помещено значение 3
и т.д.
Шаг за шагом, пока не дойдете до конца. Последнее состояние массива х и есть ответ

Все, понял, ....... Верно?