Bir algoritmanın aynı girdiler için her zaman aynı çıktıyı üretmesi gerektiğini ifade eden kavram aşağıdakilerden hangisidir?