Sobre o algoritmo abaixo, é correto afirmar que:
Procedimento XYZ( TABELA, NUMERO DE CODIGOS, CEP);
tipo tabela de conversão = vetor[1: NUMERO DE CODIGOS] conversão;
tipo de conversão = registro inteiro: CA, CN fim registro;
tabela de conversão: TABELA;
inteiro: NUMERODECODIGOS, CEP;
inicio

       inteiro comeco, meio, fim;
       COMECO <- 1; FIM <- NUMERODECODIGOS;
       repita
       MEIO ,<-( COMECO + FIM) /2 
       se CEP <TABELA[MEIO].CA;
                então FIM <- MEIO -1;
                senão
                       se CEP>TABELA[MEIO].CA;
                       então
                       CEP <- TABELA[MEIO] +1;
                       senão
                       Imprima( " Falta CEP", NUMERO);
            fim se;
            abandone;
      fim se; 
fim se;
até COMECO> FIM;
fim(XYZ)