Bir algoritmanın her koşulda sonlu sayıda adımda tamamlanması gerektiğini ifade eden temel özellik aşağıdakilerden hangisidir?
