Search
Now showing items 1-1 of 1
Probabilistic computation and verification beyond Turing machines
(Latvijas Universitāte, 2019)
Mūsu mērķis ir izpētīt dažādus ierobežotas kļūdas varbūtiskus modeļus, kas spēj definēt nesanumurējami daudz valodu. Mēs sākam ar stingrāko nosacījumu - sākumā apskatām minimālus modeļus, kas var atpazīt visas valodas. Mēs ...