Bir algoritmanın her koşulda doğru sonucu üretmesi ve sonlanması hangi iki temel özelliği ifade eder?
