לתחום מדעי המחשב שני מרכיבים עיקריים: האחד – עקרונות בסיסיים ומודלים שביסודות החישוביות, והשני – שיטות הנדסיות לעיצוב מערכות מחשבים (חומרה ותוכנה). קורס זה שייך למרכיב הראשון. בקורס נבדוק קשרים יסודיים בין אוטומטים, שהם מודלים מתימטיים לחישוב, לבין מחרוזות של תווים – מילים וקבוצות של מילים היוצרות שפות.
במהלך הלימוד נזדקק למושגים מתימטיים יסודיים בנושאים של קבוצות, יחסים בקבוצות, אינדוקציה מתימטית, גרפים, עצים ואלגוריתמים. אנו מניחים כי כבר למדת בקורסים קודמים חלק גדול מן המושגים שנזכיר; לפיכך , יחידת הקדמה זו היא חזרה על החומר ואינה תחליף ללימוד יסודי של הנושאים הנזכרים.