Ensino de Agoritmo - Enfoque na Semântica ou na Sintaxe?

Em outra postagem já comentamos sobre o que é algoritmo.

"Um algoritmo pode ser definido como uma sequência finita e não ambígua de instruções (computáveis) para solucionar um problema." Como definido, as instruções devem ser passíveis de serem implementadas em um computador.

Quem trabalha com implementação de algoritmo já deve ter notado que se algoritmo não for implementado dentro da sintaxe da linguagem de programação que está sendo usada, logo o compilador reclama e aposta o erro. Já deve ter notado, também, que o compilador não faz análise de "semântica". A semântica está ligada a avaliação de correção do algoritmo, ou seja, a sequência de instruções de fato resolve o problema que espera resolver.

Portanto, para análise de sintaxe nós temos ferramentas computacionais para auxiliar, mas não temos para análise semântica e essa análise é de responsabilidade do projetista do algoritmo. As técnicas de avaliação de correção de algoritmos é que faz esse papel.