‫אוטומטים ושפות פורמליות‬

‫מספר קורס‪10087 :‬‬

‫שנה‪ :‬תשפג‬
‫סמסטר‪ :‬א'‬
‫מכללת עזריאלי להנדסה‪ ,‬ירושלים‬

‫נושאים לפי שבועות‬

‫שבוע ‪ -1‬הקדמה‪ .‬א"ב‪ ,‬מילים ושפות‪ ,‬פעולות על שפות‪.‬‬ ‫‪.1‬‬
‫שבוע ‪ -2‬אוטומט סופי דטרמיניסטי‪ ,‬שפות רגולריות‪ .‬סגירות שפות רגולריות‪.‬‬ ‫‪.2‬‬
‫שבוע ‪ -3‬אוטומט סופי לא דטרמיניסטי‪ ,‬מעברי אפסילון‪.‬‬ ‫‪.3‬‬
‫שבוע ‪ -4‬שקילות אוטומט לא דטרמיניסטי לדטרמיניסטי‬ ‫‪.4‬‬
‫שבוע ‪ -5‬לימת הניפוח לשפות רגולריות‪.‬‬ ‫‪.5‬‬
‫שבוע ‪ -6‬ביטויים רגולריים‪ ,‬סיכום תכונות שפות רגולריות‪.‬‬ ‫‪.6‬‬
‫שבוע ‪ -7‬דקדוקים‪ .‬דקדוק רגולרי‪ ,‬שקילות לאוטומט סופי‪.‬‬ ‫‪.7‬‬
‫שבוע ‪ -8‬דקדוק חסר הקשר‪ ,‬שפות חסרות הקשר‪.‬‬ ‫‪.8‬‬
‫שבוע ‪ -9‬אוטומט מחסנית‪ ,‬שקילות אוטומט מחסנית לדקדוק חסר הקשר‪.‬‬ ‫‪.9‬‬
‫שבוע ‪ -10‬לימת הניפוח לשפות חסרות הקשר‪ ,‬סגירות שפות חסרות הקשר‪.‬‬ ‫‪.10‬‬
‫שבוע ‪ -11‬מכונת טיורינג (דטרמיניסטית)‬ ‫‪.11‬‬
‫שבוע ‪ - 12‬מכונת טיורינג עם כמה סרטים‪ ,‬וריאציות נוספות של מכונת טיורינג‬ ‫‪.12‬‬
‫שבוע ‪ -13‬מכונת טיורינג לא דטרמיניסטית ‪ .‬סיכום‪.‬‬ ‫‪.13‬‬

‫ציון הקורס‪:‬‬

‫‪ 90%‬מבחן ‪ 10% ,‬תרגול‪ .‬שישה תרגילים‪.‬‬

‫סכום ציוני התרגילים‬
‫‪.‬‬ ‫ציון תרגול‪ :‬יהיו כשישה תרגילים‪ ,‬הציון הכללי של התרגול יהיה‬
‫‪−1‬מספרהתרגילים‬

‫ספר הקורס‪:‬‬
‫‪Introduction to the Theory of Computation, by Michael Sipser.‬‬
‫הספר זמין באינטרנט‬