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

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