Հավանականական ավտոմատ

Հավանականական ավտոմատ, մաթեմատիկական համակարգ, որը որոշվում է $A=\{a_{1},...,a_{n}\}$, $B=\{b_{1},...,b_{m}\}$ կամայական վերջավոր բազմություններով և $P=p\{a_{i},b_{j},a_{k}\}$ հավանականությունների բաշխումով, որտեղ ${\sum _{k_{=}1}^{n}}p(a_{i},b_{j},a_{k})=l$ տարրերը կոչվում են ներքին վիճակներ, իսկ $B$-ինը՝ մուտքի ազդանշաններ։ Հավանականական ավտոմատը գործում է ժամանակի ընդհատ ակնթարթներին՝ հետևյալ եղանակով, ժամանակի դիտարկվող յուրաքանչյուր ակնթարթին, գտնվելով որևէ $a_{1}$ ներքին վիճակում և ստանալով որևէ $b_{j}$ մուտքային ազդանշան, համակարգը $P=p(a_{i},b_{j},a_{k})$ հավանականությամբ անցնում է $a_{k}$ վիճակին $(l{\leqslant }k{\leqslant }n)$։ Հավանականական ավտոմատը դիսկրետ ավտոմատի ընդհանրացումն է։ Հավանականական ավտոմատը օգտագործվում է ուսուցման պրոցեսի ֆորմալ մոդելներում և բարդ վարքի մոդելներում, որտեղ ավտոմատի ռեակցիան միանշանակ չէ։

Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից  (հ․ 6, էջ 259)։