פרק 1 שפות רגולריות
פרק זה יעסוק בהגדרת שפות רגולריות ואוטומטים סופיים ושקילות ביניהם.
מתוך סיבות פדגוגיות נגדיר קודם את מושג אוטומט ורק לאחר מכן את הדיקדוקים ושפות
רגולריות.
אוטומט סופי
אוטומט סופי הוא מודל מתמטי של מערכת המגיבה על סדרות סופיות של קלטים במקרה שלנו כל קלט תהיה מילה בשפה והאוטומט יבדוק אם היא שייכת לשפה האוטומט מורכב מחמישיה:
א"ב 
קבוצת מצבים Q
מצב התחלתי q2
מצבים מקבלים 
פונקציה:
שהיא טבלת מעברים 
המעבירה זוג(מצב ואות) למצב חדש.
נדגים אוטומט: שמקבל את השפה 
טבלת מעברים של האוטומט :
הכללים הם:
אנו מניחים שיש לנו קלט שמקורו מילה 
אנו עוברים את המילה הזאת אות אות על ידי המעברים הנתונים על ידי
טבלת מעברים
מתחילים במצב התחלתי q0 ואות ראשונה מהמילה. נגדיר גם מצב מקבל q3 .
כאשר נסיים לעבור את המילה נגיע למצב מסוים אם המצב הזה הוגדר כמצב מקבל אזי נקבל את המילה. אחרת לא נקבל אותה.
נדגים בעזרת סירטון פלאש בנייה של אוטומט זה.