التوحيد عن طريق التحول

Question

أنا أكتب التوحيد خوارزمية في و # للاستخدام مع أست التحولات باستخدام "إعادة كتابة المصطلح وكل ذلك" (ولدكات) بقلم فرانز بادر وتوبياس نيبكو.للقسم 4.6 التوحيد عن طريق التحول ، كان الكثير من نظرية الرياضيات مع الأمثلة ، وليس واضحا كما كنت أود.

هل يمكن لأي شخص أن يعطي أو يشير إلى أمثلة أبسط تستفيد من التحولات:

حذف ، تتحلل ، توجيه ، القضاء.

Answer 1

يحذف: t = t لا طائل من ورائه ويمكن إزالته من مجموعة المعادلات.

1 =? 1 -> nil

أورينت:نريد جميع المعادلات في شكل x =? t, ، لذا اقلب أي معادلات على شكل t =? x.

2 =? x1 -> x1 =? 2

القضاء:معطى x =? t, ، قم بتغيير جميع المعادلات الأخرى لتحل محل جميع مثيلات x مع t.

x1 + x2 = 7, x2 = 5 -> x1 + 5 = 7, x2 = 5

تتحلل:نحن بحاجة إلى اتخاذ أي وظائف والقضاء عليها للحصول على المعادلات في شكل x =? t.لاحظ أن هذه العملية من الناحية الفنية تزيل وظيفة واحدة فقط في كل مرة.

x1 + 5 = 7 -> x1 = 2
2 * (x1 + x2) = 14 -> x1 + x2 = 7

نأمل أن يساعد هذا.