אוטומטים ושפות פורמליות - כרך ב

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