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

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