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

תוכן שנמחק תוכן שנוסף
Atavory (שיחה | תרומות)
Gran (שיחה | תרומות)
אין תקציר עריכה
שורה 5:
:אנא, אל תעשה שינויים כגון אלה לפני דיון בדף השיחה. השם HP הוא מינוח מאד נפוץ בספרות לבעיית העצירה, ושאר הספר משתמש בו הרבה. עדיף שלא לפגוע בעקביות של הספר. {{#תנאי:|‎|‏}}[[משתמש:Gran|gran]]{{#תנאי:|‎|‏}} - [[שיחת משתמש:gran|שיחה]] 23:52, 22 בינואר 2012 (IST)
::אהלן, לגבי ההבדל בין H לHP, ניסיתי ללכת לפי פפדימיטריו (שגם עושה זאת), ולדעתי ההבחנה מקלה על הדיון: קצת מוזר לדבר על הבעיה האם משהו שייך לHP, כשHP כבר מוגדרת בתור בעיה (ולא כקבוצה). לגבי העקביות, זו הסיבה שסימנתי את הדפים האחרים כנמצאים בעבודה, כדי שאוכל לשנות גם שם לעקביות. בינתיים השארתי את הדברים כHP, לבקשתך. אשמח לדון על שינויי בדף ששחזרת: לדעתי יש בהם הגיון דוקא. תודה, [[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]] 11:31, 23 בינואר 2012 (IST)
:::אני לא רואה בעיה לעשות overloading בין השפה ל"בעיה", שהרי שניהם אותו הדבר. אני לא זוכר מה סיפסר עושה (אני יכול לבדוק מחר); אולי אפשר לקרוא לשפה <math>L_{HP}</math>. מיותר, לדעתי, אבל אין לי בעיה אם אתה מעדיף. H נראה ממש חסר הגיון.
:::שמת "בעבודה" על כמה דפים. לא עדיף לעבוד פרק פרק, פרה פרה? שום דבר לא בוער, וחוץ ממני (וממך) אף אחד לא ישנה דבר. {{#תנאי:|&lrm;|&rlm;}}[[משתמש:Gran|gran]]{{#תנאי:|&lrm;|&rlm;}} - [[שיחת משתמש:gran|שיחה]] 09:28, 24 בינואר 2012 (IST)
חזרה לדף "תורת החישוביות/כריעות שפות".