Browsing Promocijas darbi (2007-) / Theses PhD by Author "Dimitrijevs, Maksims"
Now showing items 1-1 of 1
-
Probabilistic computation and verification beyond Turing machines
Dimitrijevs, Maksims (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 ...