Browsing by Subject "Affine automata"

Sort by: Order: Results:

  • Affine Automata Verifiers 
    Khadieva A.; Yakaryılmaz A. (2021)
    We initiate the study of the verification power of Affine finite automata (AfA) as a part of Arthur-Merlin (AM) proof systems. We show that every unary language is verified by a real-valued AfA verifier. Then, we focus on ...
  • Error-free affine, unitary, and probabilistic OBDDs 
    Ibrahimov R.; Khadiev K.; Prusis K.; Yakaryllmaz A. (2021)
    We introduce the affine OBDD model and show that zero-error affine OBDDs can be exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain problems. Moreover, we show that Las-Vegas unitary and ...

Search DSpace

Browse

My Account