Grafika przedstawia projekt inżynierski - maszynę składającą się z dużej liczby kół zębatych współpracujących ze sobą. Z prawej strony wystaje głowa zielonego węża.
I_P_W14_M02_C++ Algorytm i jego własności
Źródło: Grafika wygenerowana przez sztuczną inteligencję Leonardo.ai, domena publiczna.
Jednoznaczność algorytmu
Każdy algorytm, musi być jasno określonym ciągiem poleceń. Jeśli polecenia są jasno zdefiniowane, to powinny być również jednoznaczne.
To właśnie jednoznaczność jest jedną z cech każdego algorytmu. Cecha ta nazywana jest również określonością.
Jednoznaczność algorytmu gwarantuje, że dla tych samych danych wejściowych otrzymamy taki sam wynik.
Skończoność algorytmu
Lista kroków musi w każdym algorytmie doprowadzać do jego zakończenia i powinna się wykonać w skończonej liczbie kroków (własność stopu).
Poprawność algorytmu
Algorytm jest całkowicie poprawny względem warunków początkowego i końcowego, gdy dla wszystkich danych zgodnych ze specyfikacją obliczenia algorytmu kończą się i wyniki spełniają warunek końcowy.
Źródło: Contentplus.pl sp. z o.o., licencja: CC BY-SA 3.0.