// algoritmo que gera dígitos verificadores

variáveis
  cpf: vetor[0..8] de Inteiro; // vetor com os 9 primeiros dígitos
  v1, v2: Inteiro;

início
  para i := 0 até tamanho(cpf)-1 faça
    v1 := v1 + cpf[i] * (9 - (i mod 10));
    v2 := v2 + cpf[i] * (9 - ((i + 1) mod 10));
  fim-para
  
  v1 := (v1 mod 11) mod 10;
  v2 := ((v2 + v1 * 9) mod 11) mod 10;

  escreva(v1);
  escreva(v2);
fim.