Smart-World Surf
🔬 הרחבה — צלילה לעומק

למת הניפוח לשפות רגולריות (Pumping Lemma for Regular Languages)

בהאוניברסיטה הפתוחה · Israel
🧭 המושג הזה בכל הקורסים →

שדרגו את הדף עם קובץ

גררו מבחן, סיכום או צילום של מחברת — אני אקרא, אוודא שזה רלוונטי, ואחדד את התוכן (מושגים, סיכויי מבחן, מומחיות).

אם לא סימנתם — הקובץ נקרא לחילוץ עובדות בלבד ואז נמחק מהמערכת (זכויות יוצרים). העובדות שנלמדו נשארות ומשפרות את הקורס.

למת הניפוח לשפות רגולריות (Pumping Lemma for Regular Languages): כלי תיאורטי המשמש להוכחה ששפה מסוימת אינה רגולרית.

ההרחבה המלאה

שני מבטים — איך הקורס הזה בוחן את המושג, ולצדו המומחיות הכללית בנושא. בנוסף כרטיסיות, דוגמאות פתורות ותרגול.

🔗 מושגים קשורים

מושגים נוספים מאותו קורס

אלפבית (Alphabet) מילה (String) שפה (Language) אוטומט סופי דטרמיניסטי (DFA) אוטומט סופי לא דטרמיניסטי (NFA) ביטוי רגולרי (Regular Expression) דקדוק חסר הקשר (Context-Free Grammar - CFG) אוטומט מחסנית (Pushdown Automaton - PDA) למת הניפוח לשפות חסרות הקשר (Pumping Lemma for CFLs) מכונת טיורינג (Turing Machine - TM) תזת צ'רץ'-טיורינג (Church-Turing Thesis) שפה כריעה (Decidable Language) שפה ניתנת לזיהוי (Recognizable Language) בעיית העצירה (Halting Problem) רדוקציה (Reduction) מחלקת P (Class P) מחלקת NP (Class NP) בעיה שלמה ל-NP (NP-Complete Problem) אי-כריעות (Undecidability) חישוביות (Computability) סיבוכיות (Complexity)

📝 מבחנים מהקורס

האוניברסיטה הפתוחה · תרגלו מול המבחנים האמיתיים

📄 2024ב מועד 65 📄 2024ב מועד 84 - פתרון 📄 2024ב מועד 94 - פתרון 📄 2025 מועד א2 - פתרון 1 📄 2025א מועד 64.84 📄 2025א מועד 64.84 - פתרון 1 📄 2025א מועד 64.84 - פתרון 2 📄 2025א מועד 95 - פתרון 📄 2025א מועד א2 - פתרון 2 📄 20604 · bank67_בחינה לדוגמא 1 2011א משתלה_0 📄 20604 · doc.בחינה מספר 1_0 📄 20604 · doc.בחינה מספר 2_0 📄 20604 · בחינה 4 קפיטריה_0_1 📄 20604 · בחינה לדוגמה 2010ב_1 📄 20604 · בחינה מספר 1 גיליון תשובות _0 📄 20604 · בחינה מספר 2 גיליון תשובות_0 📄 20604 · נספח תשובות בחינה 4 קפיטריה_0 📄 bank67 בחינה לדוגמא 2011א גיליון עבודה 0.xlt 📄 bank67 פתרון גיליון תשובות בחינה לדוגמא 2011א 0 📄 EXAM EXAMPLE final 📄 exam2002b1a 1 📄 exam2002b3a 1 📄 exam2002b4b 1 📄 exam2003a2b 1 📄 exam2003a4a 1 📄 exam2003b1a 1 📄 exam2003b2b 1 📄 exam2003b3a 1 📄 openu exam example2 📄 openu exam example2 📄 openu exam1 example1 modelim v1 📄 openu exam1 example1 modelim v1 and sol 📄 openu examsol2 helplesson 2024 bet 📄 בחינה לאתר 2005א מועד א5 1 📄 בחינה לדוגמא 2006 0 📄 בחינה מספר 1 0.xlt 📄 בחינה מספר 2 0.xlt 📄 בחינה מספר 4 קפיטריה 0 0.xlt 📄 מבחן לדוגמא 3 לאתר 0.xlt 📄 מבחן1 - איתן סבג 📄 מבחן2 - איתן סבג 📄 מבחן3 - איתן סבג 📄 מבחן4 - איתן סבג 📄 מבחן6 - איתן סבג 📄 מבחן7 - איתן סבג 📄 מבחן8 - איתן סבג 📄 מבחן9 - איתן סבג 📄 ממן 11 פתרון רשמי 📄 ממן 12 פתרון רשמי 📄 ממן 13 פתרון רשמי 📄 ממן 14 פתרון רשמי 📄 ממן 15 פתרון רשמי 📄 ממן 16 פתרון רשמי 📄 ממן 17 פתרון רשמי 📄 פתרון 📄 פתרון בחינה לדוגמה 2010ב 0 📄 פתרון ממן 11 📄 פתרון ממן 12 📄 פתרון ממן 14 (96) 📄 פתרון שאלות תרגול