שיחה:תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
בקשה |
|||
שורה 3:
יש קצת חוסר אחידות, לדעתי, בזה שמגדירים את משפחת הקלטים העוצרים בתור "בעיית העצירה". "בעיית העצירה" היא הבעיה (הבלתי נתנת לפתרון) של מציאת משפחה זו, לא המשפחה עצמה. [[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]] 23:36, 22 בינואר 2012 (IST)
:כמו שראית ב"שקילות מודל הכרעה", שני הנ״ל שקולים – HP היא השפה (במודל ה"הכרעה") שמתארת את (מה שאתה קורא) "בעיית העצירה". {{#תנאי:|‎|‏}}[[משתמש:Gran|gran]]{{#תנאי:|‎|‏}} - [[שיחת משתמש:gran|שיחה]] 23:43, 22 בינואר 2012 (IST)
::אהלן, לגבי ההבדל בין H לHP, ניסיתי ללכת לפי פפדימיטריו (שגם עושה זאת), ולדעתי ההבחנה מקלה על הדיון: קצת מוזר לדבר על הבעיה האם משהו שייך לHP, כשHP כבר מוגדרת בתור בעיה (ולא כקבוצה). לגבי העקביות, זו הסיבה שסימנתי את הדפים האחרים כנמצאים בעבודה, כדי שאוכל לשנות גם שם לעקביות. בינתיים השארתי את הדברים כHP, לבקשתך. אשמח לדון על שינויי בדף ששחזרת: לדעתי יש בהם הגיון דוקא. תודה, [[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]] 11:31, 23 בינואר 2012 (IST)
| |||