אוטומטים ושפות פורמליות (20440) הוא קורס באוניברסיטה הפתוחה בתחום מדעי המחשב. הקורס נועד להקנות לסטודנטים את היסודות התיאורטיים של מדעי המחשב ומתמקד בסוגיות מתמטיות יסודיות בתחום זה. הקורס עוסק במודלים החישוביים המרכזיים, בהשוואה ביניהם במונחים של כוח החישוב, וכן הכרת המשפחות של השפות הפורמליות. בקורס נלמדים נושאים כגון אוטומט סופי דטרמיניסטי, אוטומט סופי לא-דטרמיניסטי וביטויים רגולריים, תכונות של שפות רגולריות, אפיון אלגברי של השפות הרגולריות, פישוטים וצורות נורמליות של דקדוקים חופשיי-הקשר, אוטומט-מחסנית, תכונות של שפות חופשיות-הקשר, ועוד.
מספר מילים: 21105
תקציר: סיכום קורס אוטומטים ושפות פורמליות (20440) | כולל את הנושאים: | שפות, קבוצות, מכפלה קרטזית, יחסים, אוטומט סופי דטרמיניסטי, אס"ד, אוטומט מכפלה, אוטומט סופי לא דטרמיניסטי, שקילות בין מודלים, מסעי ε וסילוקם, פעולות רגולריות, ביטויים רגולריים, תכונות של שפות רגולריות, שפות רגולריות, למת הניפוח, הומומורפיזם, הומומורפיזם הפוך, …
מחיר: ₪53.00אתר סמינריון מהווה פלטפורמה למכירה ולקנייה של עבודות אקדמיות איכותיות בין סטודנטים. באתר תוכלו למצוא עבודות אקדמיות במגוון תחומים ובמגוון סוגים החל מתרגילים דרך סמינריונים ועד עבודות תזה. באתר תוכלו למכור את העבודות שלכם לסטודנטים אחרים ולהרוויח עליהן כסף.