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

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