زوج مهم

في علوم الكمبيوتر، وبشكل أكثر دقة في إعادة كتابة النظرية، الزوج المهم[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. اطلع عليه بتاريخ 13 mai 2016. {{استشهاد بكتاب}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدةالوسيط |الأول2= يفتقد |الأول2= (مساعدة)، والوسيط |الأول= يفتقد |الأول= (مساعدة).
  2. ^ Term Rewriting and All That. مطبعة جامعة كامبريدج. 1998-01-01. ص. 301. ISBN 0-521-45520-0. اطلع عليه بتاريخ 15 mai 2016. {{استشهاد بكتاب}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدةالوسيط |الأول2= يفتقد |الأول2= (مساعدة)، والوسيط |الأول= يفتقد |الأول= (مساعدة).