Diskret vaqt tizimlarini modellashtirish” mavzusida

f dan elementlar ...
...

...

qayerda  avtomatning holatga o'tish ehtimoli z k va chiqishda signal paydo bo'lishi y j agar u qodir bo'lsa z s va bu vaqtda uning kirishida signal qabul qilindi x i .
Jadvallar ko'rinishida berilgan bunday taqsimotlar soni G to'plamining elementlari soniga teng. Agar ushbu jadvallar to'plamini B bilan belgilasak, u holda to'rtta element
chaqirdi ehtimolli avtomat (P - avtomatik). Qayerda
.
P-avtomatning alohida holati sifatida berilgan
yangi holatga o'tish yoki chiqish signali deterministik tarzda aniqlanadigan avtomatlar ( Z–deterministik ehtimolli avtomat,Y–- deterministik ehtimolli avtomat mos ravishda).
Shubhasiz, matematik apparat nuqtai nazaridan, Y - deterministik P - avtomatining tayinlanishi cheklangan holatlar to'plamiga ega bo'lgan ba'zi Markov zanjirining tayinlanishiga tengdir. Shu nuqtai nazardan, analitik hisob-kitoblar uchun P-sxemalaridan foydalanganda Markov zanjirlarining apparati asosiy hisoblanadi. Shunga o'xshash P-avtomatlar tizimlarning ishlash jarayonlarini yoki atrof-muhit ta'sirini qurishda Markov ketma-ketligi generatorlaridan foydalanadilar.
Markov ketma-ketligi, Markov teoremasiga ko'ra, tasodifiy o'zgaruvchilar ketma-ketligi ifodalanadi
,
bu erda N - mustaqil testlar soni; D-- dispersiya.
Bunday P-avtomatlar (P-sxemalar) statistik modellashtirish usullaridan foydalangan holda analitik modellar uchun ham, simulyatsiya modellari uchun ham o'rganilayotgan tizimlarning turli xususiyatlarini baholash uchun ishlatilishi mumkin.
Y - deterministik P-avtomatni ikkita jadval bilan ko'rsatish mumkin: o'tishlar (1.1-jadval) va chiqishlar (1.2-jadval).