هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

زوج مهم

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

في علوم الكمبيوتر، وبشكل أكثر دقة في إعادة كتابة النظرية، الزوج المهم[1] [2] هو زوج من المصطلحات التي تتدخل في دراسة التقاء (المحلي) لأنظمة إعادة الكتابة. هذان المصطلحان تم الحصول عليهما من المصطلح t، أحدهما بتطبيق قاعدة على t، والآخر بتطبيق قاعدة على مصطلح فرعي من t.

مراجع

  1. ^ D. Knuth, P. Bendix (1970). J. Leech, ed. Simple Word Problems in Universal Algebras. Pergamon Press. pp. 263–297. Voir aussi Term Rewriting and All That. مطبعة جامعة كامبريدج. 1998-01-01. ص. 301. ISBN:0-521-45520-0. مؤرشف من الأصل في 2021-08-14. اطلع عليه بتاريخ 13 mai 2016. {{استشهاد بكتاب}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدةالوسيط |الأول2= يفتقد |الأخير2= (مساعدة)، والوسيط |الأول= يفتقد |الأخير= (مساعدة).
  2. ^ Term Rewriting and All That. مطبعة جامعة كامبريدج. 1998-01-01. ص. 301. ISBN:0-521-45520-0. مؤرشف من الأصل في 2021-08-14. اطلع عليه بتاريخ 15 mai 2016. {{استشهاد بكتاب}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدةالوسيط |الأول2= يفتقد |الأخير2= (مساعدة)، والوسيط |الأول= يفتقد |الأخير= (مساعدة).