הרשמה\התחברות
הוכחות תאורתיות באוטומטים
1382
חזרה אל אוטומטים ושפות פורמליות
הקדמה (1)
הקדמה לאוטומטים
00:07
הגדרות (2)
הגדרות חלק א
00:22
הגדרות חלק ב
00:09
אוטומטים ושפות רגולריות (34)
אוטומט סופי דטרמיניסטי
00:29
שפה רגולרית
00:12
אוטומט מכפלה - חיתוך בין אוטומטים
00:14
דוגמה לחיתוך בין אוטומטים
00:14
אי רגולריות עם פעולות סגור
00:06
אוטומט סופ לא דטרמיניסטי
00:20
יתרונות של אי דטרמניזם
00:20
ביטוים רגולרים
00:19
למת הניפוח לשפות רגולריות
00:35
מילים ניתנות להפרדה
00:13
משפט מייהיל נרוד
00:14
תרגול שבוע 2 חלק א
00:16
תרגול שבוע 2 חלק ב
00:12
תרגול שבוע 2 חלק ג
00:10
תרגול שבוע 2 חלק ד
00:18
תרגול שבוע 3 חלק א
00:17
תרגול שבוע 3 חלק ב
00:10
תרגול שבוע 3 חלק ג
00:14
תרגול שבוע 3 חלק ד
00:18
תרגול - דף מספר 4 חלק א
00:08
תרגול - דף מספר 4 חלק ב
00:07
תרגול - דף מספר 4 חלק ג
00:16
תרגול - דף מספר 4 חלק ד
00:26
תרגול - ביטויים רגולרים חלק 1
00:06
תרגול - ביטוים רגולריים חלק 2
00:11
תרגול - ביטויים רגולרים חלק 3
00:06
תרגול - ביטויים רגולרים חלק 4
00:11
תרגול - מעבר מאסד לביטוי רגולרי חלק 1
00:20
תרגול - מעבר מאסד לביטוי רגולרי חלק 2
00:06
תרגול - מעבר מאסד לביטוי רגולרי חלק 3
00:17
תרגול - למת הניפוח חלק א
00:21
תרגול - למת הניפוח חלק ב
00:13
תרגול - למת הניפוח חלק ג
00:07
תרגול - למת הניפוח חלק ד
00:18
דקדוקים ושפות חסרות הקשר (13)
דקדוקים
00:12
דקדוקים באופן פורמלי
00:07
סוגי דקדוקים
00:11
הרצאה - עצי גזירה
00:17
הרצאה - אוטומט מחסנית
00:39
תרגול - דקדוקים חסרי הקשר חלק א
00:07
תרגול - דקדוקים חסרי הקשר חלק ב
00:07
תרגול - דקדוקים חסרי הקשר חלק ג
00:18
תרגול - דקדוקים חסרי הקשר חלק ד
00:12
תרגול - דקדוקים חסרי הקשר חלק ה
00:11
תרגול - אוטומט מחסנית חלק א
00:22
תרגול - אוטומט מחסנית חלק ב
00:19
תרגול - אוטומט מחסנית חלק ג
00:18
מטלות (1)
הסבר על מטלה מספר 1
00:18
תוספים (8)
הרצאה - הומומורפיזם ופעולות סגור נוספות
00:34
הרצאה - שקילות בין מצבים
00:42
הרצאה - דוגמת צמצום אוטומט
00:15
תרגול - הומומורפיזם 1
00:09
תרגול - הומומורפיזם 2
00:16
תרגול - הומומורפיזם 3
00:15
תרגול - צמצום אוטומטים חלק א
00:15
תרגול - צמצום אוטומטים חלק ב
00:21
אוטומטים - מבחנים משנים קודמות (5)
מועד א 2019 שאלות אמריקאיות
00:36
מועד א 2019 שאלה 7
00:06
מועד א 2019 שאלה 8
00:10
מועד א 2019 שאלה 9
00:15
מועד א 2019 שאלה 10
00:40
הוכחות תאורתיות (7)
הוכחות תאורתיות באוטומטים
00:05
איחוד וחיתוך אינסופיים של שפות רגולריות
00:18
איחוד וחיתוך סופיים של שפות רגולריות
00:18
הוכחה עם שימוש בתורת הגרפים
00:14
הוכחה באינדוקציה
00:24
אוטומט מחסנית מקבל לעומת אוטומט מחסנית מרוקן
00:13
מדקדוק לאוטומט מחסנית - לקרוא תגובות
00:17
למת הניפוח לשפות חסרות הקשר (4)
למת הניפוח לשפות חסרות הקשר
00:23
תרגול למת הניפוח לשפות חסרות הקשר חלק א
00:16
תרגול למת הניפוח לשפות חסרות הקשר חלק ב
00:11
תרגול למת הניפוח לשפות חסרות הקשר חלק ג
00:14
Post
View comments
בכדי לצפות בסרטון זה עליכם לרכוש את הקורס.