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