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