Observe a seguinte especificação formal de um programa, onde I e O representam os vetores de entrada e saída, respectivamente: O vetor de saída produzida por este programa conterá:
o vetor de entrada com seus elementos somados de 1;
o próprio vetor de entrada;
o vetor de entrada em ordem decrescente;
o vetor de entrada com os elementos na ordem inversa;
o vetor de entrada em ordem crescente.