מבוא
לתחום מדעי המחשב יש שני חלקים עיקריים:
א. עקרונות בסיסיים ומודלים שביסודות החישוביות.
ב.שיטות הנדסיות לעיצוב המערכת
קורס זה יעסוק במרכיב הראשון,במהלכו נבדוק קשרים יסודיים בין האוטומטים
שהם מודלים מתמטיים לחישוב לבין מחרוזות של תווים - מילים וקבוצות של מילים היוצרות
שפות.
הקדמה :
הדרה של א"ב
קבוצה סופית לא ריקה של סימנים נקראת א"ב, כל סימן בא"ב נקרא אות.
למשל: קבוצה {1,0} היא א"ב בן שני אותיות. הסימון של א"ב יהיה על ידי אות יוונית
עכשיו כשהגדרנו א"ב נגדיר מילה.
הגדרה:מילה (מחרוזת) מעל א"ב נתון היא סדרה סופית של אותיות מתוך א"ב
זה.
למשל:אבא זאת מילה מעל {א,ב,ג, ...,ת}.
כרגע נגדיר את המושג 
או בקיצור כל המחרוזות שאפשר ליצור מהאותיות א"ב.
הערה חשובה:
ב יש אינסוף מילים אך אין מילים
בעלי אורך אינסופי.
הגדרה
שפה L מעל א"ב היא תת-קבוצה
של ,כלומר 