Bir algoritmanın her zaman belirli bir sayıda adımdan sonra sonlanması, sonsuz döngülere girmemesi gerekliliği hangi temel özelliktir?
