תוכן שנמחק תוכן שנוסף
Atavory (שיחה | תרומות)
Gran (שיחה | תרומות)
שורה 284:
תודה על השינויים והשיפורים שאתה מכניס ל[[תורת החישוביות]]. הייתי שמח אם תוכל לעבור על השינויים שעשית ולראות שהם תואמים למוסכמות שקיימות בשאר הספר: בעיקר שימוש בסימונים מקובלים (למשל, L לשפה, ולא f שמבלבל עם פונקציה.) שים גם לב לסימולים המתמטיים: קידוד מ״ט מתבצע ע״י {{D}}<nowiki>\langle</nowiki> ו־{{D}}<nowiki>\rangle</nowiki>, ולא ע״י <>. קצת פחות חשוב, אבל עדיין קצת מפריע – ריווח נכון, רווח אחרי נקודה של סוף שורה או פסיק, מקף עליון (־) בין מיליות "ש" "ב" "ו" לפרמטרים שבאים אחריהם (למשל: "ראינו ש־<math>M</math> היא...") וכו'. תודה. {{#תנאי:|&lrm;|&rlm;}}[[משתמש:Gran|gran]]{{#תנאי:|&lrm;|&rlm;}} - [[שיחת משתמש:gran|שיחה]] 23:41, 22 בינואר 2012 (IST)
:אוקיי, 100%. בהחלט אשתדל. אם תראה שפספסתי משהו, אנא הרגש חופשי להעיר או לתקן בעצמך ולהפנות לתשומת ליבי. להערב סיימתי, בכל מקרה. שוב מלא הערכתי לחומר היפה שבנית עד כה. כל טוב, [[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]] 23:44, 22 בינואר 2012 (IST)
::אחלה! בעיקר התכוונתי להוכחה של [[תורת החישוביות/כריעות שפות/משפט רייס#משפט רייס|משפט רייס]] ששכתבת. אני הייתי נמנע להשתמש ב־Q למכונה כי Q היא קבוצת המצבים של מ״ט נתונה. F היא קבוצת המצבים הסופיים (משום מה אחת ה־f שרשמת הפכה גדולה, או שהיא מוגדרת איפשהו ולא שמתי לב). הייתי גם מפריד את רעיון ההוכחה מההוכחה עצמה: קודם מסביר שנניח בדרך השלילה (...) ונקבל סתירה, ורק אז מתחיל להגדיר את Q וכו. שיניתי כמה מינוחים (accept/reject במקום true/false ובכלל עדיף מקבלת/דוחה). המילה "רקורסיבית" מופיעה לראשונה בקטע שכתבת (ועל כן הקורא לא יידע מה כוונתך..). {{#תנאי:|&lrm;|&rlm;}}[[משתמש:Gran|gran]]{{#תנאי:|&lrm;|&rlm;}} - [[שיחת משתמש:gran|שיחה]]
:: (אגב, בל ירפו יידיך! רק צריך לבדוק כל פעם מחדש שהדברים הוגדרו בפרקים הקודמים, ולהשתמש באותם סימולים.. גם אני חוזר שוב ושוב לפרקים הראשונים לראות איך הגדרתי.. וגם אני לפעמים חורג מהעקביות של עצמי ומתקן יותר מאוחר שאני מגלה את ההבדלים.. ) {{#תנאי:|&lrm;|&rlm;}}[[משתמש:Gran|gran]]{{#תנאי:|&lrm;|&rlm;}} - [[שיחת משתמש:gran|שיחה]] 00:04, 23 בינואר 2012 (IST)