אוטומט סופי לא דטרמיניסטי הוא מודל מתמטי המהווה הכללה של אוטומט סופי דטרמיניסטי בכך שהוא מאפשר בחירה בין מספר דרכי פעולה עבור קלט נתון, בניגוד לדרך הפעולה היחידה שלפיה פועל אוטומט דטרמיניסטי. מתוך ויקיפדיה

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

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

אוטומט השחמט, אוטומט חסום לינארית, אוטומט חסום ליניארית, אוטומט מחסנית, אוטומט מכירות, אוטומט סופי דטרמיניסטי, אוטומט סופי לא דטרמיניסטי, אוטומט תאי, אוטומטון, אוטומטונופוביה