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 ...