- całkowicie poprawny - wszystkie dane wejściowe spełniające warunki początkowe zostaną wyprowadzone wyniki spełniające warunki końcowe i obliczenia zostaną zakończone
- częściowo poprawny - wyniki są poprawne względem warunków początkowych i końcowych
- dobrze określony i uniwersalny - występują w nim polecenia, operacje zrozumiałe oraz kolejność jest jednoznacznie określona
Algorytm który nie jest skończony nie może zostać uznany za poprawny.
Powodem nieskończonego działania algorytmu może być np. błędnie określony warunek itd.
Brak komentarzy:
Prześlij komentarz