زوج مهم

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

مراجع

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

هذه بذرة مقالة عن موضوع له علاقة بالجبر بحاجة للتوسيع. فضلًا شارك في تحريرها.

[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= (مساعدة)، والوسيط |الأول= يفتقد |الأخير= (مساعدة).

[1]

[2]

زوج مهم

مراجع

قائمة التصفح

بحث