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