‫החוג למדעי המחשב‬ ‫מכללה אקדמית הדסה‬ ‫סילבוס לקורס‪ :‬אוטומטים ושפות פורמליות‪ ,‬תשע"ה‬ ‫מרצה‪ :‬ד"ר פרג' שיבאן‬ ‫שעות קבלה‪ :‬יום ב' ‪ , 16:00-17:00‬יום ג' ‪ , 11:00-12:00‬או בתאום מראש‬ ‫תוכן הקורס‬ ‫אלפבית‪ ,‬מילים‪ ,‬שפות ופעולות על שפות‪ .‬אוטומט סופי דטרמיניסטי והדרכים להצגתו‪ .‬מחלקת‬ ‫השפות הרגולריות ותכונות סגירות שלה‪ .‬אוטומט סופי לא דטרמיניסטי ושקילות למודל‬ ‫הדטרמיניסטי‪ ,‬כולל הסרת מעברי ‪ . ‬סגירות השפות הרגולריות תחת פעולות רגולריות‪ .‬ביטויים‬ ‫רגולריים‪ .‬משפט ‪ Kleene‬ושימושיו‪ .‬למת הניפוח לשפות רגולריות‪ .‬בעיות הכרעה בשפות רגולריות‬ ‫ואלגוריתמים יעילים לפתרונן‪ .‬משפט ‪ ,Nerode‬מינימיזציה של אוטומטים‪ ,‬מצבים שקולים ואוטומט‬ ‫המנה‪ .‬יחידות האוטומט המינימלי‪ .‬אלגוריתם לגילוי מצבים שקולים‪.‬‬ ‫דקדוקים ושפות‪ ,‬ההיררכיה של חומסקי‪ ,‬דקדוקים חסרי הקשר‪ ,‬דקדוקים רגולריים‪ .‬פישוטים וצורות‬ ‫נורמליות )חומסקי וגרייבך( של דקדוקים חסרי הקשר‪ .‬אוטומט‪-‬מחסנית והשקילות לדקדוקים חסרי‬ ‫הקשר‪ .‬למת הניפוח לשפות חסרות הקשר‪ .‬הלמה של אוגדן‪ ,‬תכונות סגירות של מחלקת השפות‬ ‫חסרות ההקשר‪.‬‬ ‫ביבליוגרפיה‬ ‫‪.1‬‬ ‫‪.2‬‬ ‫‪.3‬‬ ‫‪.4‬‬ ‫ש‪ .‬זקש‪ ,‬נ‪ .‬פרנסיז ‪ -‬אוטומטים ושפות פורמליות‪ ,‬הוצאת האוניברסיטה הפתוחה‪.‬‬ ‫‪Michael Sipser: Inroduction to the Theory Of Computation, 2nd ed,Thompson, 2004.‬‬ ‫‪P. Linz: An Introduction to Formal Language and Automata, Jones & Bartlett Pub 2006‬‬ ‫‪M.D. Davis, R. Sigal, E.J. Weyuker: Computability, Complexity, and Formal languages‬‬ ‫‪2nd ed. Academic Press 1994.‬‬ ‫דרישות ומבחנים‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫חובת הגשה של ‪ 80%‬מהתרגילים‪ ,‬במועד שנקבע‪ .‬למי שלא יעמוד בדרישה זו ייחשב ציון‬ ‫תרגיל ‪ 0‬בשקלול הציון הסופי‪ .‬אין השלמות תרגילים בסוף הסימסטר‪.‬‬ ‫בחינה בכתב בסוף הסימסטר‪ ,‬שלוש שעות‪ ,‬ללא חומר עזר‪.‬‬ ‫הציון הסופי ייקבע לפי‪ 80% :‬לבחינת הסיום ‪ 15% ,‬לתרגילים ו‪ 5% -‬להשתתפות פעילה‬ ‫בשיעורים‪.‬‬ ‫נדרש ציון מינימום של ‪ 55‬בבחינת הסיום‪.‬‬ ‫בהצלחה‬