ספר הלימוד מודלים חישוביים מהסדרה האיכותית ללימוד מדעי המחשב בתיכון מותאם לתכנית הלימודים בתיכון – ליחידה החמשית
הספר מכיל את הנושאים הבאים:

בחלק הראשון – שפות רגולריות:

אוטומט סופי דטרמניסטי, אוטומט סופי לא דטרמניסטי, פעולות על מילים ושפות, הוכחת אי-רגולריות, תכונות סגירות של משפחת השפות הרגולריות.

בחלק השני – שפות חופשיות הקשר:

אוטומט מחסנית דטרמניסטי, אוטומט מחסנית לא דטרמניסטי

תכונות הסגירות של שפות חופשיות הקשר

בחלק שלישי – מכונת טיורינג