Observe o algoritmo a seguir.

Para i:= 1, ... l n/2 l faça

temp: = S [i] S [i] : = S [n-i+1] S [n-i+1] : = temp

Sendo uma sequência de elementos armazenada no vetor S[i], onde 1 !$ \le !$ i !$ \le !$ n, temp, é uma variável temporária e a notação IXI representa o maior inteiro menor ou igual a X. Sendo assim, em relação ao algoritmo acima, pode-se afirmar que: