טכנולוגיה מחשבים- אוטומטים ושפות פורמליות 2 כרכים מאת שמואל זקס ונסים פרנסיז.
כרך א-
יחידה 1: מושגים בסיסיים.
יחידה 2: אוטומט סופי דטרמיניסטי.
יחידה 3: אוטומט סופי לא דטרמיסטי.
יחידה 4: תכונות של שפות רגולריוץ.
יחידה 5: אפיון אלגברי של השפות הרגולריות.
כרך ראשון -296 עמודים.
כרך ב-
יחידה 6: דקדוקים.
יחידה 7: פישוטים וצורות נורמליות של דקדוקים חופשי קשר.
יחידה 8: אוטומט מחסנית.
יחידה 9: תכונות של שפות חופשיות הקשר.
כרך שני-221 עמודים.
מצב הספרים טוב מאוד.
וגם ציורים ממאורעות כדוגמת מנשיה...