Olasılıksal otomata giriş

Olasılıksal otomata ve nereden tanıdıklarına nereden bir giriş bulabilirim (kelimelerden e kadar bazı fonksiyonlar )? Belirleyici sonlu otomatların (DFA'lar) tanıdığı "normal diller" e benzeyen olasılıklı otomatlar tarafından tanınan bu tür fonksiyonlar için standart bir terim var mı? $[0,1]$

DFA'lar ve ifade, kapanış ve karar verilebilirlik özellikleri gibi normal diller hakkında temel soruları incelemeye benzer bir şey arıyorum.

Bu ve bu benim aradığım şey gibi görünmüyor.

reference-request fl.formal-languages probabilistic-automata

— Prateek
kaynak

Bunlar "pozitif destekler" olan -rational serisi, yani, diller için gibi bir dizi. Yine de bu çok iyi davranmış değil. Eğer ilgileniyorsanız, bu sınıfın Boole kapanışını inceledim: eccc.hpi-web.de/report/2013/040 .

Z

$\mathbb{Z}$

{w ∣ (r, w) > 0}

$\{w \mid (r, w) > 0\}$

r

$r$

— Michaël Cadilhac

Rabin'in (1963) ilk makalesi , aradığınız temel bilgileri verir. Olasılıksal otomata (kesme noktalı) tarafından tanınan dil sınıfına stokastik diller denir.

, ve alfabesinde tanımlanan olasılıklı bir otomat olsun girişinde kabul etme olasılığı . Daha sonra, kesme noktasına sahip aşağıdaki dili tanımlar: $P$ $\Sigma$ $f_P(w)$ $P$ $w \in \Sigma^*$ $P$ $\lambda \in [0,1)$

$L(P,\lambda) = \{ w \in \Sigma^* \mid f_P(w) > \lambda \}$ .

Kesme noktası ile tanıma işleminin sınırsız hata ile tanıma olarak görülebileceğini unutmayın. Sınırlı hata (veya yalıtılmış kesme noktası) olması durumunda, olasılıklı otomata tüm ve sadece normal dilleri tanıyabilir.

Paz'ın (1971) kitabı ve Buharaev'in (1980) araştırması iyi referanslardır.

Olası kuantum otomata ile ilgili yeni bir araştırmayı da kontrol edebilirsiniz.

— Abuzer Yakaryilmaz
kaynak