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

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

אוטומוביליסט יקטרינבורג, אוטומוביליסט סנקט פטרבורג, אוטומובילסט יקטרינבורג, אוטומורפיזם, אוטומורפיזם פרובניוס, אוטומט (מכונה), אוטומט הסתברותי, אוטומט השחמט, אוטומט חסום לינארית, אוטומט חסום ליניארית