Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Error-free affine, unitary, and probabilistic OBDDs
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 …
exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain …
Language recognition power and succinctness of affine automata
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 …
probabilistic and quantum automata proposed recently by Díaz-Caro and Yakaryılmaz (in …
Error-free affine, unitary, and probabilistic OBDDs
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 …
exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain …
Exact affine counter automata
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 …
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 …
Merlin (AM) proof systems. We show that every unary language is verified by a real-valued …
Zero-error affine, unitary, and probabilistic OBDDs
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 …
exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain …
Computational limitations of affine automata and generalized affine automata
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 …
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 …
automata when recognizing some regular languages with bounded error. In this paper, we …
Computational limitations of affine automata
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 …
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 …
Real-valued affine automata compute beyond Turing machines∗ Abuzer Yakaryılmaz1,2 …