אוטומט הסתברותי

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

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

את הרעיון של אוטומט הסתברותי הציג לראשונה פרופסור מיכאל רבין ב-1963.

במחשוב קוונטי אוטומט סופי קוונטי הוא מקביל למונח אוטומט הסתברותי.

הערות שוליים

ערכים שבהם תבנית בריטניקה אינה מתאימה
תורת ההסתברות