قوانین یکسان سازی:

- متغیر‌ها باید یکسان سازی بشن و نه ثوابت
- توابع نمی تونن یکسان سازی بشن
- جانشینی در یکسان سازی باید همزمان انجام بشه، نه اینکه یه متغیر رو کامل جانشین کنی و بعدش بری سراغ متغیر بعدی
- متغیر های آزاد اجازه جانشینی ندارن (اگر طراح خیلی نامرد باشه: دی ممکنه یکسان سازی رو در شکل پرینکس بده) در این حالت باید حواسمون باشه که جانشینی رو برای متغیر های آزاد انجام ندیم
متغیر آزاد متغیری است که در حوزه هیچ سوری ظاهر نشده باشه
- یک متغییر نمی تونه دو مقدار ثابت بگیره، اما می تونه با دومتغیر یکسان سازی بشه
- در یکسان سازی، متغیر‌ها اهمیتی ندارن و می تونن عوض بشن. به عبارت ساده‌تر تغییر متغیر مجازه

مورد آخر به دلیل اینکه سه آرگومان داره رد میشه. مورد دوم هم X دو مقدار گرفته یه بار با خودش و یه بار هم با n‌، مورد دوم هم وقتی( g(Y رو میریزیم توی X اونوقت آرگومان دوم عبارت اصلی(صورت سوال) شامل Y خواهد بود خوب دیگه دچار حلقه میشیم اگه به آرگومان دوم مورد دوم نگاه کنی میبینی که Y است پس مورد اول درسته.

(۲۹ دى ۱۳۸۹ ۰۲:۵۹ ب.ظ)امیدوار نوشته شده توسط:  مورد آخر به دلیل اینکه سه آرگومان داره رد میشه. مورد دوم هم X دو مقدار گرفته یه بار با خودش و یه بار هم با n‌، مورد دوم هم وقتی( g(Y رو میریزیم توی X اونوقت آرگومان دوم عبارت اصلی(صورت سوال) شامل Y خواهد بود خوب دیگه دچار حلقه میشیم اگه به آرگومان دوم مورد دوم نگاه کنی میبینی که Y پس مورد اول درسته.

مورد سوم درسته x دو مقدار میگیره.ولی یکیش متغیره و یکیش ثابته.خوب متغیر که باهرچندمتغیر دیگه میتونه برابر باشه.فقط نباید با چند ثابت برابر بشه.ک خوب اینجاهم فقط یه ثابته دیگه.مشکلی .یش نمیاد که.میاد؟

در یکسان سازی نباید به یه متغییر همزمان دو مقدار بگیره اینجوری تکلیف الگوریتم یکسان ساز ما معلوم نیست که X رو خودش درنظر بگیره یا به جاش مقدار ثابت n رو بریزه.

بی جی بو جی چرا گزینه یک رد میشه؟و گفته من تو پست قبل درسته ؟

چون در یکسان سازی شما باید:

اولا برای هر متغیر یک جایگزین انتخاب کنید
ثانیا قوانین جیگزینی رو رعایت کنید
اولین قانون جایگزینی اینه که جایگزینی باید همزمان روی همه متغیرها اعمال بشه و نه یکی یکی
شما در جایگزینی (مورد گزینه یک) به جای X گزاشتید g(Z خوب تا اینجاش قبول
بعدش چی؟ به جای هر متغیر چی گذاشتید که حاصل کل اش شد W ؟؟ جوابی وجود نداره
در جایگزینی باید همیشه حواس تون باشه که یک متغیر باید معلوم باشه که چه مقداری گرفته

آره من اشتباه کردم با کمال تشکر از توضیحاتتون عالی بود

ممکنه یکی کامل‌تر توضیح بده یکسان سازی رو. این سوال پیچیده ترین سوال یکسان سازی بوده.

(۰۶ بهمن ۱۳۸۹ ۰۱:۳۸ ق.ظ)mahdieh67 نوشته شده توسط:  ممکنه یکی کامل‌تر توضیح بده یکسان سازی رو. این سوال پیچیده ترین سوال یکسان سازی بوده.

آره لطفا کسی که بلده کامل توضیح بده این یکسان سازی خیلی عجیبه هیچ قاعده مشخصی نداره

مرسیخانم از توضیحاتتون.. ولی اینایی که گفتین می دونم. نمی تونم عملی کنم. روی مثالی ساده و روی یه مثال مشکل‌تر ممکنه حل کنین. کامل. ممنون.