שיחה:תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ ←ארגון מחודש של החלק: הגהה |
מ ←ארגון מחודש של החלק: הגהה |
||
שורה 23:
## הדף הראשון (זה) ישונה לדף הסברים והגדרות על מחלקות הכריעות השונות (R, RE, coRE) + יכיל מבט-על על החלק.
## הדף השני (זה שנקרא כעת "שפות שאינן כריעות") ישונה לשם "ייחסים בין מחלקות השפות", וחלק מהחומר בדף זה יעבור אליו.
## דף הרדוקציה יעבור בסדרו אחריו, וחלק מהחומר בדף "שפות שאינן
## שני הדפים האחרונים (רייס + אי-הפרדתיות) יישארו כפי שהם.
לדעתי יש לכך מספר יתרונות:
|