בתורת החישוביות, אוטומט סופי דטרמיניסטי (להלן: אס"ד) הוא מודל מתמטי, המגדיר שפה פורמלית. המודל מורכב מאוסף סופי של מצבים וכְלָלֵי מַעֲבַר ביניהם. בהינתן קלט, הבנוי מסדרה של סמלים (סימנים) מתוך א"ב (אוסף כל הסימנים האפשריים) ידוע, מתבצע מעבר סדרתי על הסמלים, ובהתאם, מתבצעים מעברים בין מצבי האוטומט – אחד עבור כל סמל. המצב ההתחלתי ידוע מראש וכל מעבר מוגדר באופן חד-ערכי ויחיד ("דטרמיניסטי") על פי הסמל הבא שנקרא. כאשר נקראים כל הסמלים שבקלט, מתבצעת בדיקה של סוג המצב בו נמצא האוטמט (המצב האחרון שאליו הגיע). אם מדובר ב"מצב מקבל", הקלט נחשב כ"מילה בשפה" של האוטומט, אחרת, הוא נחשב כמילה שאיננה שייכת לשפת האוטומט.