Algorytm częściowo poprawny i całkowicie poprawny

W materiałach do wykładu mam informację, że algorytm całkowicie poprawny, to algorytm częściowo poprawny posiadający własność 'STOPu'. Czy zatem należy rozumieć to tak, że algorytm częściowo prawny, to po prostu niezoptymalizowany algorytm całkowicie poprawny, który może się zawiesić, kiedy danych będzie zbyt dużo?

Np dla algorytmu genetycznego nie ma naturalnej własności stopu - więc zawsze dorabia się jakiś sztuczny stop.

Proszę o odpowiedź na moje pytanie.

@mpaw, odpowiedź na Twoje pytanie brzmi: nie. Prosty przykład (algorytm jest raczej durny, ale częściowo poprawny), sprawdzamy czy w jednowymiarowej tablicy tab występuje liczba 0.

znalezione = false;
i = 0;
while(!znalezione)
{
    if(tab[i] == 0)
    {
        znalezione = true;
    }
}