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

:::אני לא רואה בעיה לעשות overloading בין השפה ל"בעיה", שהרי שניהם אותו הדבר. אני לא זוכר מה סיפסר עושה (אני יכול לבדוק מחר); אולי אפשר לקרוא לשפה <math>L_{HP}</math>. מיותר, לדעתי, אבל אין לי בעיה אם אתה מעדיף. H נראה ממש חסר הגיון.

::::H מופיע בעוד ספרים, לדוגמה של הארי לואיס, בנוסף לזה של פפדימיטריו. HP כסימון לקבוצה, לא לבעיה, לא ראיתי באף ספר מודפס, וגם לא Overloading אחר בין הקבוצה לבין הבעיה. אני מציע שנתפשר על <math>L_{HP}<m</math>, אם כך. מה דעתך? [[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]] 23:42, 25 בינואר 2012 (IST)

:::שמת "בעבודה" על כמה דפים. לא עדיף לעבוד פרק פרק, פרה פרה? שום דבר לא בוער, וחוץ ממני (וממך) אף אחד לא ישנה דבר. {{#תנאי:|&lrm;|&rlm;}}[[משתמש:Gran|gran]]{{#תנאי:|&lrm;|&rlm;}} - [[שיחת משתמש:gran|שיחה]] 09:28, 24 בינואר 2012 (IST)

:::עברתי על השינויים שוב, בהחלט הייתי פזיז מדי בשחזור. צריך להחזיר את ההגדרות. מצטער. {{#תנאי:|&lrm;|&rlm;}}[[משתמש:Gran|gran]]{{#תנאי:|&lrm;|&rlm;}} - [[שיחת משתמש:gran|שיחה]] 09:39, 24 בינואר 2012 (IST)