סילבוס אוטומטים ושפות פורמליות

‫החוג למדעי המחשב‬
‫מכללה אקדמית הדסה‬
‫סילבוס לקורס‪ :‬אוטומטים ושפות פורמליות‪ ,‬תשע"ה‬
‫מרצה‪ :‬ד"ר פרג' שיבאן‬
‫שעות קבלה‪ :‬יום ב' ‪ , 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‬בבחינת הסיום‪.‬‬
‫בהצלחה‬