A elaboração de um programa de computadores consiste em fornecer uma série de comandos ao computador para que o mesmo execute uma determinada tarefa. Tais comandos devem ser dados em uma linguagem apropriada, chamada linguagem de programação. É comum que um programador, antes de digitar o programa propriamente dito, crie um algoritmo, ou seja, uma espécie de rascunho que contém a sequência de operações que o futuro programa deverá executar.
Um programador escreveu em um papel o seguinte algoritmo:
Passo 1: Dados iniciais
x0: valor da entrada
Passo 2: Faça x0 -1.
Passo 3: Se | x0 -1| = 6, então FIM.
Passo 4: Se |x0 -1| ≠ 6, então VOLTE AO PASSO 2 UTILIZANDO |x0 -1| COMO DADO DE ENTRADA.
Após a implementação do programa, foram feitos vários testes. Em um desses testes, verificou-se que o passo 2 foi repetido uma única vez, antes do programa terminar. O número de valores reais possíveis para o dado de entrada x0, nessas condições, é igual a