رابطۀ هم ارزی

{equivalence relation, equals relation} [ریاضی] رابطه ای دوتایی که بازتابی و متقارن و ترایا باشد

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

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

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

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