שיחה:למת הניפוח לשפות רגולריות
L={a^n b^m c^m+n
L={a^n^2
L={a^f(n)/n>=0
כאשר f היא פונ' מונוטונית עולה איך אני מוכיח שהם שפות לא רגולריות תודה רבה
- ויקיפדיה אינה מקום לעזרה בפתרון שיעורי בית, בפרט לא דפי השיחה של ערכיה. גדי אלכסנדרוביץ' 23:45, 10 בדצמבר 2006 (IST)
כדאי לתקן ניסוח[עריכת קוד מקור]
תחת הכותרת "שפה רגולרית שאינה ניתנת לניפוח" כתוב "נבחר n=3". כדאי לשים לב כי לא ניתן לבחור n מסויים. עפ"י הלמה קיים n כלשהו עבורו מתקיימים כל מיני דברים. רק אם כתוב כי לכל n מתקיימים הדברים האלה, אפשר לבחור n מסויים. לא וידאתי, אבל יכול להיות כי צריך להראות שלכל n לא קיימת מילה שאורכה לפחות n - ולכן הלמה מתקיימת באופן ריק. 87.68.242.213 00:43, 27 במאי 2010 (IDT)
- כתוב בהגדרת המשפט "קיים n", ואנחנו מראים שעבור n=3 הטענה מתקיימת. (כי כל מילה שאורכה גדול מ-3 ניתנת לפירוק כזה - היות ואין מילים מאורך זה בשפה, כולן מקיימות כל תנאי שרק תחפוץ בו) יובל מדר - שיחה 08:07, 27 במאי 2010 (IDT)
מעולה[עריכת קוד מקור]
אדיר הציל אותי 82.166.138.6 20:10, 11 בפברואר 2012 (IST)
ההוכחה ללמה[עריכת קוד מקור]
שלום,
הוספתי הוכחה ללמה, שנמחקה ע"י Haparsi, כפי שניתן לראות כאן. אני מסכים עם הפרסי שרעיון ההוכחה כפי שמופיע בערך אכן כתוב בצורה טובה, ואוסיף שהוא מעביר לקורא היטב את האינטואיציה הנוגעת ללמה ולהוכחתה. אך, וזה העניין, זו רק אינטואיציה. כמו כל משפט, גם כאן נדרשת הוכחה פורמלית, ולכן לטעמי יש ערך בפסקה המוקדשת להוכחת המשפט. אשמח לדעות נוספות. בברכה, Bustan1498 - שיחה 02:27, 12 באוקטובר 2020 (IDT)
- מה שחסר בערך להצגה שלמה של הנושא הוא דוגמאות לשימוש בלמה ודוגמה לכך שהלמה לא מאפינת שפות רגולריות (שיש שפות לא רגולריות שמקימות אותה). אינני מוצא טעם בניפוח הערך על ידי פירוט ההוכחה כשכל הרעיונות שלה כבר מופיעים. שיחת משתמש:Haparsi הפרסי 10:57, 12 באוקטובר 2020 (IDT)
- אני לא חושב שזה "ניפוח". הרבה פעמים רצוי להסביר הוכחה מסוימת ראשית בנפנוף ידיים, אבל לאחר מכן לתת את ההוכחה הפורמלית. סביר להניח שיהיו לא מעט קוראים שיחפשו את ההוכחה הפורמלית לאחר קריאת רעיון ההוכחה, וראוי שהיא תופיע בערך. יתר הרעיונות לדוגמאות שנתת טובים (בפרט דוגמא פחות טריוויאלית לשפה רגולרית שאינה ניתנת לניפוח). הדוגמאות האלו, יחד עם הוכחה ללמה, יהפכו את הערך לשלם. Bustan1498 - שיחה 14:14, 12 באוקטובר 2020 (IDT)