Now showing items 1-2 of 2

    • Jauni ieskati kvantu automātu stāvokļu skaita efektivitātē 

      Svarinskis, Roberts Leonārs (Latvijas Universitāte, 2022)
      Kvantu galīgi automāti var sasniegt eksponenciālu stāvokļu skaitu efektivitāti, salīdzinot ar determinētiem galīgiem automātiem. Viena problēma, kurā ir zināms, ka kvantu galīgiem automātiem ir eksponenciālas priekšrocības, ...
    • 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 ...