נושאים במדעי המחשב
בחרו נושא להתחיל ממנו. כל מדריך כולל הסבר, דיאגרמה ודוגמה פתורה.
תורת החישוביות והשפות הפורמליות
מכונת טיורינג
המודל החישובי האוניברסלי – הגדרה פורמלית, רכיבים ודוגמת ריצה.
אוטומט סופי דטרמיניסטי (DFA)
המודל החישובי הפשוט ביותר, מעבר יחיד לכל קלט.
אוטומט סופי לא דטרמיניסטי (NFA)
מספר מעברים אפשריים, שקילות ל־DFA והמרה ביניהם.
אוטומט מחסנית (PDA)
אוטומט עם זיכרון מחסנית – מזהה שפות חופשיות הקשר.
תכונות סגירות של שפות רגולריות
איחוד, חיתוך, משלים, שרשור, כוכבית קלייני והומומורפיזם.
הוכחת אי־רגולריות
למת הניפוח (Pumping Lemma) ואיך משתמשים בה בבגרות.
מושגים בעץ בינארי
צריכים עזרה לקראת הבגרות במדעי המחשב?
מורים פרטיים מנוסים יעזרו לכם להבין את החומר ולהתכונן לבגרות צעד אחר צעד.
מצאו מורה פרטי