שיחה:תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
←ארגון מחודש של החלק: פסקה חדשה |
|||
שורה 15:
אפילו לא הייתי מעלה את זה, מפני שזה טריוויאלי, אבל השינוי הקודם שלי בעניין כבר שוחזר. מדוע השפות הרגולריות מופיעות בסוגריים? אם זה מחמת חוסר חשיבות העניין, אז הדוגמה שלאחריהן חשובה אפילו פחות. [[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]] 00:29, 27 בינואר 2012 (IST)
== ארגון מחודש של החלק ==
לדעתי צריך לארגן חלק זה מחדש. שמו הנו "כריעות שפות", אבל הוא למעשה מדבר לפחות על כריעות ומניה, נתן לארגן את החומר כך שיהיה יותר קל למצוא אותו ולהבין תוך כדי קריאה מה המטרה, ועוד. הצעתי היא כזו:
# להחליף את שם החלק לכריעות ומניית שפות.
# לחלק אותו כך:
## הדף הראשון (זה) ישונה לדף הסברים והגדרות על מחלקות הכריעות השונות (R, RE, coRE) + יכיל מבט-על על החלק
## הדף השני (זה שנקרא כעת "שפות שאינן כריעות") ישונה לשם "ייחסים בין מחלקות השפות"
## דף הרדוקציה יעבור אחריו
## שני הדפים האחרונים (רייס + אי-הפרדתיות) יישארו כפי שהם
[[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]] 14:31, 1 בפברואר 2012 (IST)
| |||