Os algoritmos são sequências lógicas e finitas de passos que resolvem problemas específicos, sendo a base para o desenvolvimento de sistemas computacionais. Sobre algoritmos, analise as afirmativas a seguir:
I. Algoritmos recursivos são aqueles que se definem em termos de si mesmos, exigindo uma condição base para evitar chamadas infinitas.
II. A complexidade de tempo de um algoritmo refere-se exclusivamente ao número de passos necessários para executar o código, desconsiderando a entrada do problema.
III. Um algoritmo pode ser implementado em diferentes linguagens de programação, desde que sua lógica seja preservada.
Está correto o que se afirma em:

A respeito de lógica de programação em pseudocódigo, julgue o item a seguir.

Na estrutura enquanto, o bloco interno de código será sempre executado uma vez; na estrutura faça enquanto, o bloco interno de código será executado somente se a condição for verdadeira.

A respeito de lógica de programação em pseudocódigo, julgue o item a seguir.

A estrutura se senão é classificada como estrutura de repetição.

Assinale a opção que apresenta o comando que tem a função de implementar desvios incondicionais no programa, mas que é de uso proibido na programação estruturada.