زوج مهم

في علوم الكمبيوتر، وبشكل أكثر دقة في إعادة كتابة النظرية، الزوج المهمD. Knuth, P. Bendix (1970). J. Leech, ed. Simple Word Problems in Universal Algebras. Pergamon Press. pp. 263–297. Voir aussi .. هو زوج من المصطلحات التي تتدخل في دراسة التقاء (المحلي) لأنظمة إعادة الكتابة. هذان المصطلحان تم الحصول عليهما من المصطلح t، أحدهما بتطبيق قاعدة على t، والآخر بتطبيق قاعدة على مصطلح فرعي من t.

 مراجع 

تصنيف:جبر
تصنيف:لغات شكلية
تصنيف:منطق رياضي
تصنيف:نظرية الحسوبية