رابطۀ هم ارزی

💡 دوست بودن یک رابطه هم ارزی است و لذا شامل تقسیم اعداد صحیح به دسته‌هایی از اعداد دوست هست.

💡 برای این تابع هم ارزی های مختلفی وجود دارد از جمله

💡 یکی می‌تواند اثبات تحلیلی برای هم ارزی از GPDA و PDAها را با استفاده از شبیه‌سازی زیر تدوین و فرموله کند:

💡 منظور از رده‌بندی رویه ها، تعیین همه کلاسهای هم ارزی دوسوگویای آن‌ها است. همانطور که رده‌بندی خمها به وسیلهٔ جنس آن‌ها انجام می‌گیرد، رده‌بندی رویه‌ها را بُعد کودایرای آن‌ها

💡 در جبر انتزاعی، رابطۀ هم ارزی بین دو ساختار ریاضی زمانی برقرار است که بتوان میان آن‌ها یک تابع یک‌به‌یک و پوشا که ویژگی‌های ساختاری را حفظ کند، یافت.

💡 استفاده از رابطۀ هم ارزی در نظریه گروه‌ها به ریاضی‌دانان اجازه می‌دهد تا مسائل دشوار را در قالب ساختارهای ساده‌تر و آشنا بیشتری بررسی و حل کنند.

💡 مفهوم رابطۀ هم ارزی در علوم کامپیوتر و منطق ریاضی، برای اثبات صحت الگوریتم‌ها و بررسی تفاوت‌های ساختاری در زبان‌های برنامه‌نویسی بسیار کاربردی و مهم است.