Error-free affine, unitary, and probabilistic OBDDs

R Ibrahimov, K Khadiev, K Prūsis… - … Complexity of Formal …, 2018 - Springer
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 …

Language recognition power and succinctness of affine automata

M Villagra, A Yakaryılmaz - Natural Computing, 2018 - Springer
In this work we study a non-linear generalization based on affine transformations of
probabilistic and quantum automata proposed recently by Díaz-Caro and Yakaryılmaz (in …

Error-free affine, unitary, and probabilistic OBDDs

R Ibrahimov, K Khadiev, K Prūsis… - International Journal of …, 2021 - World Scientific
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 …

Exact affine counter automata

M Nakanishi, K Khadiev, K Prūsis, J Vihrovs… - arxiv preprint arxiv …, 2017 - arxiv.org
We introduce an affine generalization of counter automata, and analyze their ability as well
as affine finite automata. Our contributions are as follows. We show that there is a language …

Affine automata verifiers

A Khadieva, A Yakaryılmaz - … , UCNC 2021, Espoo, Finland, October 18 …, 2021 - Springer
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 …

Zero-error affine, unitary, and probabilistic OBDDs

R Ibrahimov, K Khadiev, K Prusis, J Vihrovs… - arxiv preprint arxiv …, 2017 - arxiv.org
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 …

Computational limitations of affine automata and generalized affine automata

M Hirvensalo, E Moutot, A Yakaryılmaz - Natural Computing, 2021 - Springer
We present new results on the computational limitations of affine automata (AfAs). First, we
show that using the endmarker does not increase the computational power of AfAs. Second …

Improved constructions for succinct affine automata

A Yakaryılmaz - Descriptional Complexity of Formal Systems: 23rd IFIP …, 2021 - Springer
Affine finite automata (AfAs) can be more succinct than probabilistic and quantum finite
automata when recognizing some regular languages with bounded error. In this paper, we …

Computational limitations of affine automata

M Hirvensalo, E Moutot, A Yakaryılmaz - … 2019, Tokyo, Japan, June 3–7 …, 2019 - Springer
We present two new results on the computational limitations of affine automata. First, we
show that the computation of bounded-error rational-valued affine automata is simulated in …

[PDF][PDF] Real-valued affine automata compute beyond Turing machines

A Yakaryılmaz - arxiv preprint arxiv:2212.11834, 2022 - arxiv.org
arxiv:2212.11834v1 [cs.FL] 22 Dec 2022 Page 1 arxiv:2212.11834v1 [cs.FL] 22 Dec 2022
Real-valued affine automata compute beyond Turing machines∗ Abuzer Yakaryılmaz1,2 …