(1) مجموعة محدودة من قواعد واضحة المعالم لحل المشكلة في عدد محدد من الخطوات؛ على سبيل المثال، مواصفات كاملة من سلسلة عمليات الحسابية لتقييم شرط x إلى precision.~(2) معين أي تسلسل العمليات لأداء مهمة محددة.