O programa para porque o seu código determinou isso. Um primeiro lugar ele para porque ele concluiu o que tinha que fazer. Ele só consegue concluir depois que sai do laço e a condição do while
é que determina isso.
Para entrar nele está esperando que o valor de terminou
seja False
. E por que tem que ser esse valor? Porque tem um operador de negação na condição, o not
, então ele inverte o valor da variável. Se o valor é False
ele passe ser True
ali naquela expressão. Como o while
espera que algo seja True
para executar é isso que acontece, ele entra no laço.
Daí para sair só quando a passar de novo pelo o while
e nesse momento a expressão der False
, portanto como tem um not
o valor de terminou
deve ser True
.
Qualquer valor que digite vai cair no else
do if
e lá o valor de terminou
não muda. Apenas quando digitar 0 é que cai no if
mesmo. E nesse bloco o que está mandando fazer é justamente a variável ter o valor True
, que invertido é o que faz o laço encerrar.
Portanto é só seguir o fluxo do código que ele determina o que acontece.
Na verdade esse código ser simplificado:
p = i = 0
while (True):
n = int(input("Digite um número, ou zero para terminar: "))
if n == 0:
break;
else:
if n % 2 == 0:
p = p + 1
else:
i = i + 1
print ("P = ", p)
print ("I = ", i)
Veja funcionando no ideone. E no repl.it. Também coloquei no GitHub para referência futura.
Desta forma não precisa de variável controlando a saída e tem um comando que manda sair na hora que quiser, de forma mais explícita que quer sair, sem enrolações.