גישה מהירה יותר מאשר בדפדפן!
16 יחסים: משלים (מתמטיקה), מדעי המחשב, אם ורק אם, אוטומט מחסנית, איחוד (מתמטיקה), סגור קלין, שפה פורמלית, שפה רגולרית, למת הניפוח לשפות חופשיות הקשר, חיתוך (מתמטיקה), דקדוק חסר הקשר, דקדוק חופשי הקשר, הפרש (תורת הקבוצות), ההיררכיה של חומסקי, הומומורפיזם, כריעות.
משלים (מתמטיקה)
בתורת הקבוצות, משלים של קבוצה G (באנגלית: G complement of set) הוא קבוצה אחרת, אשר מכילה את כל האיברים שאינם נמצאים ב-G. זאת ביחס לקבוצה U כלשהי שהיא "הקבוצה האוניברסלית" - קבוצה שבהקשר הנוכחי של הדיון, כל קבוצה שעליה נדבר היא תת קבוצה של U. על-פי הגדרה זו, האיחוד של קבוצת G והמשלים של G הוא הקבוצה U, ואילו החיתוך ביניהן הוא קבוצה ריקה.
חָדָשׁ!!: שפה חופשית הקשר ומשלים (מתמטיקה) · ראה עוד »
מדעי המחשב
מדְעי המחשב הם ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב, ובמידה מסוימת, גם בשאלה של תכנון ובנייה של מערכות מחשב.
חָדָשׁ!!: שפה חופשית הקשר ומדעי המחשב · ראה עוד »
אם ורק אם
אם ורק אם (ראשי תיבות: אמ"ם) או "אימוּם" (בלשון חז"ל: תנאי כפול, וסימונו בלוגיקה פורמלית: \Leftrightarrow, \leftrightarrow או ≡) בתחום הלוגיקה המתמטית הוא קַשָּׁר לוגי בין שתי טענות השקולות זו לזו במובן שכל אחת אמיתית כשהשנייה אמיתית, אך אם אחת אינה אמיתית גם השנייה שגויה.
חָדָשׁ!!: שפה חופשית הקשר ואם ורק אם · ראה עוד »
אוטומט מחסנית
מצבים: שני מצבים מקבלים (מסומנים בעיגול כפול) ושני מצבים שאינם מקבלים (מסומנים בעיגול בודד). במדעי המחשב, אוטומט מחסנית (באנגלית: Pushdown automaton, ובראשי תיבות: PDA) הוא מודל חישובי, שמהווה הרחבה של מודל האוטומט הסופי (הדטרמיניסטי), על ידי הוספת מחסנית, שבה האוטומט מסוגל לאחסן מידע (משמע, לאוטומט יש יכולת זיכרון).
חָדָשׁ!!: שפה חופשית הקשר ואוטומט מחסנית · ראה עוד »
איחוד (מתמטיקה)
בתורת הקבוצות ובענפים אחרים במתמטיקה, האיחוד של אוסף של קבוצות הוא קבוצה המכילה את כל מה ששייך לקבוצות אלה, ושום דבר אחר.
חָדָשׁ!!: שפה חופשית הקשר ואיחוד (מתמטיקה) · ראה עוד »
סגור קלין
#הפניה כוכב קלין.
חָדָשׁ!!: שפה חופשית הקשר וסגור קלין · ראה עוד »
שפה פורמלית
במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים (או אותיות) מקבוצה סופית \Sigma.
חָדָשׁ!!: שפה חופשית הקשר ושפה פורמלית · ראה עוד »
שפה רגולרית
בתורת השפות הפורמליות, שפה רגולרית היא שפה פורמלית שאפשר לתאר על ידי אוטומט סופי, האמור לקבוע לגבי מילה נתונה אם היא שייכת לשפה אם לאו.
חָדָשׁ!!: שפה חופשית הקשר ושפה רגולרית · ראה עוד »
למת הניפוח לשפות חופשיות הקשר
במדעי המחשב, למת הניפוח (באנגלית: Pumping Lemma) היא למה (כלומר, טענת עזר), המסייעת להראות ששפה פורמלית נתונה איננה שפה חופשית הקשר.
חָדָשׁ!!: שפה חופשית הקשר ולמת הניפוח לשפות חופשיות הקשר · ראה עוד »
חיתוך (מתמטיקה)
בתורת הקבוצות ובענפים אחרים במתמטיקה, החיתוך של שתי קבוצות A ו-B הוא הקבוצה המכילה את כל האיברים ב-A ששייכים גם ל-B (או באופן שקול, כל האיברים ב-B ששייכים גם ל-A), ורק אותם.
חָדָשׁ!!: שפה חופשית הקשר וחיתוך (מתמטיקה) · ראה עוד »
דקדוק חסר הקשר
#הפניה דקדוק חופשי-הקשר.
חָדָשׁ!!: שפה חופשית הקשר ודקדוק חסר הקשר · ראה עוד »
דקדוק חופשי הקשר
#הפניה דקדוק חופשי-הקשר.
חָדָשׁ!!: שפה חופשית הקשר ודקדוק חופשי הקשר · ראה עוד »
הפרש (תורת הקבוצות)
דיאגרמת ון של הקבוצה '''A-B''' בתורת הקבוצות, הפרש של שתי קבוצות A ו-B הוא הקבוצה שמכילה את כל איברי A שלא שייכים ל-B. קבוצה זו מסומנת ב-A-B או ב-A \setminus B: פעולה ההפרש איננה קיבוצית או חילופית.
חָדָשׁ!!: שפה חופשית הקשר והפרש (תורת הקבוצות) · ראה עוד »
ההיררכיה של חומסקי
איור גרפי של קבוצות השפות הכלולות בהיררכיית חומסקי ההיררכיה של חומסקי, היא מיון משפחות של דקדוקים על פי כללי השכתוב שהם מתירים.
חָדָשׁ!!: שפה חופשית הקשר וההיררכיה של חומסקי · ראה עוד »
הומומורפיזם
באלגברה, הומומורפיזם הוא פונקציה בין מבנים אלגבריים מאותו טיפוס, המשמר את כל המבנה (לרבות הפעולות, היחסים והקבועים).
חָדָשׁ!!: שפה חופשית הקשר והומומורפיזם · ראה עוד »
כריעות
בלוגיקה, בעיית הכרעה (בעיה שבה בהינתן קלט יש לתת תשובה של כן או לא) נקראת כריעה אם קיים אלגוריתם שקובע מה התשובה עבור קלט נתון.
חָדָשׁ!!: שפה חופשית הקשר וכריעות · ראה עוד »
