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

עצמות נפייר, עצמות קטנות, עצמות שורש הרגל, עצמות שורש כף היד, עצמי מסיה, עצמים בלתי מזוהים, עצמים צפים בעין, עצמים קונצנטריים, עצמימי השמע, עצמית