תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
כותרות דפים תואמות
- ...h>\hat{\hat{h}} \colon 2^{\Sigma^*} \to 2^{\Delta^*}</math> (כלומר, מעבירה שפות מעל <math>\Sigma</math> לשפות מעל <math>\Delta</math>) המוגדרת: {{ש}} <math == סגירות משפחות של שפות תחת הומומורפיזם == ...13 ק"ב (1,012 מילים) - 13:26, 18 בינואר 2023
דפים עם תוכן תואם
- ב[[שפה פורמלית|שפות פורמליות]] '''דקדוק רגולרי''' הוא [[דקדוק]] המתאר [[שפה רגולרית]]. ישנם שני סוגים של * {{פא"ר|מספר=419|שם הספר=אוטומטים ושפות פורמליות ב|כותב=שמואל זקס ו[[נסים פרנסיז]]|שנה=2000}} ...2 ק"ב (47 מילים) - 03:11, 1 ביוני 2021
- ...צף סופי של סימנים כקלט, מקבלת אם הרצף שייך לשפה ודוחה אחרת. שפות רקורסיבית שפות נקראות גם '''[[כריעות|כְּרִיעוֹת]]'''. ...תן להרחבה על ידי [[מודל חישובי|מודלים חישוביים אחרים]]. למשל, אפשר לדבר על שפות כריעות ב[[מכונת טיורינג לא-דטרמיניסטית]]. לכן, בכל פעם שיש אי-בהירות, "שפה ...3 ק"ב (74 מילים) - 13:53, 26 בינואר 2025
- ...שלה, אינה כריעה גם בגרסה האונארית. כל שפה אונארית נמצאת ב-[[P/Poly]], כולל שפות אונאריות לא כריעות. [[קטגוריה:שפות פורמליות]] ...1 ק"ב (35 מילים) - 09:36, 10 בינואר 2025
- ב[[שפה פורמלית|שפות פורמליות]], '''דקדוק תלוי-הקשר<ref>{{צ-ספר|שם=An Introduction to Formal Languages an [[קטגוריה:שפות פורמליות]] ...3 ק"ב (155 מילים) - 12:00, 26 בינואר 2025
- == מושגים יסודיים בשפות פורמליות == === דוגמאות של שפות פורמליות=== ...7 ק"ב (50 מילים) - 11:24, 1 ביולי 2024
- משפחת השפות חופשיות ההקשר סגורה תחת פעולות של איחוד ושרשור שפות, אך לא תחת חיתוך והפרש (להבדיל מ[[שפה רגולרית|השפות הרגולריות]]). * '''שרשור''' שתי שפות זו לזו ...5 ק"ב (138 מילים) - 15:08, 27 בפברואר 2023
- *'''[[שפה פורמלית]]''': [[קבוצה (מתמטיקה)|קבוצת]] '''מילים פורמליות'''. ==פעולות על שפות== ...7 ק"ב (279 מילים) - 18:56, 7 בנובמבר 2023
- ב[[שפה פורמלית|שפות פורמליות]], '''דקדוק חופשי-הקשר''' (גם: '''דקדוק חסר-הקשר''') הוא [[דקדוק]] אשר כל כ ...b^nc^md^m\mid n,m \ge1\} \cup \{a^nb^mc^md^n\mid n,m\ge1\}</math>.}}. עבור שפות שאינן דו-משמעיות בצורה אינהרנטית, קיים דקדוק שאינו דו-משמעי, אך לא ידועה דר ...6 ק"ב (266 מילים) - 09:50, 11 ביולי 2024
- [[שפה (מדעי המחשב)|שפות]] המתקבלות על ידי אוטומט סופי נקראות [[שפה רגולרית|שפות רגולריות]] ונוצרות על ידי [[דקדוק רגולרי|דקדוקים רגולריים]]. ...ריות [[סגירות (אלגברה)|סגורות]] תחת פעולת [[חיתוך (מתמטיקה)|חיתוך]], לעומת שפות חסרות-הקשר שאינן סגורות לחיתוך. ...7 ק"ב (128 מילים) - 04:04, 1 באוגוסט 2024
- [[קטגוריה:שפות פורמליות]] ...2 ק"ב (22 מילים) - 11:57, 31 בדצמבר 2022
- בתורת ה[[שפה פורמלית|שפות הפורמליות]], '''שפה רגולרית''' היא [[שפה פורמלית]] '''שאפשר''' לתאר על ידי == תכונות מרכזיות של שפות רגולריות == ...9 ק"ב (126 מילים) - 20:40, 3 בדצמבר 2024
- כמובן, ייתכן שגם שפות שאינן חופשיות הקשר יכילו מחזוריות כלשהי, ולכן למת הניפוח תפעל גם עליהן. לכן {{מיזמים|ויקיספר=אוטומטים ושפות פורמליות}} ...6 ק"ב (90 מילים) - 16:20, 6 בפברואר 2024
- ==זיהוי שפות ומשפחות של מעגלים== ...בל הוא קבוע (תמיד n ביטים) ועל כן יש צורך בהכללה של המודל כדי לעסוק בזיהוי שפות שלמות, שבהן יכולות להיות מילים מכל גודל שהוא. ...6 ק"ב (86 מילים) - 22:06, 4 באוקטובר 2023
- ...h>\hat{\hat{h}} \colon 2^{\Sigma^*} \to 2^{\Delta^*}</math> (כלומר, מעבירה שפות מעל <math>\Sigma</math> לשפות מעל <math>\Delta</math>) המוגדרת: {{ש}} <math == סגירות משפחות של שפות תחת הומומורפיזם == ...13 ק"ב (1,012 מילים) - 13:26, 18 בינואר 2023
- שפות המתקבלות על ידי אוטומט סופי נקראות [[שפה רגולרית|שפות רגולריות]] ונוצרות על ידי [[דקדוק רגולרי|דקדוקים רגולריים]] ו[[ביטוי רגולרי ...ם הדטרמיניסטי והאי-דטרמיניסטי, אין שקילות כזו בהקשר של אוטומט בוקי. קיימות שפות פשוטת שעבורן קיים אוטומט בוקי אי-דטרמיניסטי, אבל לא קיים אוטומט דטרמיניסטי ...7 ק"ב (127 מילים) - 19:01, 7 בנובמבר 2023
- [[שפה פורמלית|בשפות פורמליות]], '''אלפבית''' היא [[קבוצה (מתמטיקה)|קבוצה]] לא ריקה של סמלים, הנחשבת בדרך שימוש נרחב באלפבית נעשה [[שפה פורמלית|בשפות פורמליות]], [[תורת האוטומטים|באוטומטים]], ובאוטומטים-למחצה. כמעט תמיד, כאשר מגדירים ...6 ק"ב (210 מילים) - 11:36, 26 בינואר 2025
- * {{פא"ר|מספר=418|שם הספר=אוטומטים ושפות פורמליות א|כותב=שמואל זקס ו[[נסים פרנסיז]]|שנה=2000}}, עמ' 249-287 {{מיזמים|ויקיספר=אוטומטים ושפות פורמליות}} ...8 ק"ב (315 מילים) - 20:56, 16 ביולי 2024
- ...ספר 20170719045212:0|{{צ-ספר|מחבר=שמואל זקס ונסים פרנסיז|שם=אוטומטים ושפות פורמליות ב|מו"ל=האוניברסיטה הפתוחה|שנת הוצאה=2000|עמ=103-109}}}} * {{פא"ר|מספר=419|שם הספר=אוטומטים ושפות פורמליות ב|כותב=שמואל זקס ו[[נסים פרנסיז]]|שנה=2000}} ...8 ק"ב (341 מילים) - 16:00, 22 בדצמבר 2018
- ...נן רגולריות יכילו בתוכן תבנית כלשהי, ולכן ייתכן שלמת הניפוח תתקיים גם עבור שפות שאינן רגולריות. אולם על פי הלמה כל שפה שהיא רגולרית ניתנת לניפוח, ולכן אם ל * {{פא"ר|מספר=418|שם הספר=אוטומטים ושפות פורמליות א|כותב=שמואל זקס ו[[נסים פרנסיז]]|שנה=2000}} ...11 ק"ב (304 מילים) - 11:30, 25 בנובמבר 2024
- ...\forall n \in N, \ \left|L \ \cap {\{0,1}\}^n \right| \ \leq p(n) </math>. שפות דלילות משמשות בעיקר לחקר הקשרים בין מחלקת הסיבוכיות [[NP (סיבוכיות)|NP]] למ [[קטגוריה:שפות פורמליות]] ...5 ק"ב (308 מילים) - 13:39, 26 ביוני 2018