תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף

נגדיר את המחלקה <math>R</math> כקבוצת השפות ה'''כריעות''' (לחלופין, '''ניתנות להכרעה''' או '''רקורסיביות''', '''R'''ecursive)

<center>

</center>

}}