תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
←כריעות למחצה חיובית: איחוש הגדרות |
←כריעות (מלאה): הגדרה |
||
שורה 33:
נגדיר את המחלקה <math>R</math> כקבוצת השפות ה'''כריעות''' (לחלופין, '''ניתנות להכרעה''' או '''רקורסיביות''', '''R'''ecursive)
<center>
<math>
</center>
}}
|