Acerca de lógica de programação, julgue o item a seguir.

Considerando-se que a memória disponível tenha M posições, que := represente atribuição, em uma estrutura de dados P do tipo pilha, os seguintes algoritmos descrevem corretamente as operações de inserção e remoção.

Algoritmo para inserção na pilha P

se topo … M então

topo !$ \ne !$= topo – 1

P[topo] := novovalor

senão overflow

Algoritmo para remoção da pilha P

se topo !$ \ne !$ 0 então

valorrecuperado := P[topo]

topo := topo – 1

senão underflow