Considere o algoritmo a seguir, na forma de pseudocódigo:
Var n, i, j, k, x: inteiro Var v: vetor[0..7] inteiro Início v[0] ← 12 v[1] ← 145 v[2] ← 1 v[3] ← 3 v[4] ← 67 v[5] ← 9 v[6] ← 45 n ← 8 k ← 3 x ← 0 Para j ← n-1 até k passo -1 faça v[j] ← v[j - 1]; Fim_para v[k] ← x; Fim
Este pseudocódigo