שפות פורמליות — שאלות מבגרויות מדעי המחשב עם פתרון מלא (שאלון 899271)

שפות רגולריות — תכונות סגירות + אוטומט מחסנית

רגולריות של שפות + מכונת טיורינג חלקית

פעולות על שפות ובניית אוטומט מחסנית דטרמיניסטי

רגולריות של L1–L3 מעל {a,b} + השפה L מעל {a,b,c} והשלמת אוטומט

שלוש טענות על פעולות בין שפות + אוטומט מחסנית ל-L

שאלה 11 — אוטומטים סופיים: מונה זוגיות/מודולו, והימנעות מתת-מחרוזות אסורות

שאלה 11 — שפות רגולריות — סגירות ובניית DFA

שאלה — שפה L מעל {a,b,c} - דוגמאות והוכחת רגולריות

שאלה — שפות פורמליות L1, L2: רגולריות מול אי-רגולריות, ובניית אוטומט מתאים

שפות L1, L2 מעל {0,1} — מציאת מילים ובניית אוטומטים

L1, L2, L3 מעל {a,b}; שפה L מעל {0,1} עם הגבלת 000

שפות רגולריות ובניית אוטומט סופי דטרמיניסטי

שפות פורמליות: רגולריות, פעולות על שפות ואוטומט סופי

השפה a^n b^m c^k לפי זוגיות n ואוטומט מחסנית דטרמיניסטי