خوارزمية حتمية

في علم الحاسوب ، الخوارزمية الحتمية [1] (بالإنجليزية: Deterministic algorithm)‏ هي خوارزمية لها سلوك متوقع من حيث المعنى.[2][3][4] عند إعطاء مدخلات معينة، فإنه سوف تنتج دائما نفس المخرجات. الخوارزميات القطعية هي إلى حد بعيد النوع الأكثر بساطة وسهولة بالنسبة للعديد من الخوارزميات، فضلا عن أنها واحدة من أكثر الخوارزميات العملية، حيث يمكن تشغيلها على الأجهزة الحقيقية بكفاءة.

من حيث التعريف فالخوارزمية القطعية هي دالة رياضية. كمعطى لها قيمة فريدة مدخلا، والخوارزمية هي العملية التي تنتج هذه القيمة خاصة مخرجا.

انظر أيضا

• آلة ذات حالات محدودة
• آلة مجردة
• آلة تورنغ
• أتمتة محدودة قطعية.

مراجع

1. موفق دعبول؛ مروان البواب؛ نزار الحافظ؛ نوار العوا (2017)، قائمة مصطلحات المعلوماتية (بالعربية والإنجليزية)، دمشق: مجمع اللغة العربية بدمشق، ص. 101، QID:Q112244705
2. Edward A. Lee. "The Problem with Threads" (PDF). مؤرشف من الأصل (PDF) في 2018-07-20. اطلع عليه بتاريخ 2009-05-29.
3. Bocchino Jr.، Robert L.؛ Adve، Vikram S.؛ Adve، Sarita V.؛ Snir، Marc (2009). "Parallel Programming Must Be Deterministic by Default". USENIX Workshop on Hot Topics in Parallelism. مؤرشف من الأصل في 2016-01-27.
4. Determinism categories in the Mercury programming language[وصلة مكسورة] نسخة محفوظة 3 يوليو 2012 على موقع واي باك مشين.