Image de couverture de livre

Classical and quantum Merlin-Arthur automata

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Yakaryılmaz, Abuzer
Format:	Preprint
Publié:	2022
Sujets:	Formal Languages and Automata Theory Computational Complexity Quantum Physics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

QIP $ \subseteq $ AM(2QCFA)
par: Yakaryılmaz, Abuzer
Publié: (2025)

Two-way affine automata can verify every language
par: Chen, Zeyu, et autres
Publié: (2025)

Rational-Valued Affine Verifiers in Arthur--Merlin Proof Systems
par: Chen, Zeyu, et autres
Publié: (2025)

A Representative Framework for Implementing Quantum Finite Automata on Real Devices
par: Khadieva, Aliya, et autres
Publié: (2024)

Entropy of pebble automata and space complexity
par: Montoya, J. Andres
Publié: (2026)

Unconditional proofs of quantumness between small-space machines
par: Say, A. C. Cem, et autres
Publié: (2024)

Embedding arbitrary Boolean circuits into fungal automata with arbitrary update sequences
par: Goles, Eric, et autres
Publié: (2026)

Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice
par: Yamakami, Tomoyuki
Publié: (2019)

How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?
par: Yamakami, Tomoyuki
Publié: (2020)

Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications
par: Moreira, Nelma, et autres
Publié: (2025)

Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024)
par: Manea, Florin, et autres
Publié: (2024)

Landauer Principle and Thermodynamics of Computation
par: Chattopadhyay, Pritam, et autres
Publié: (2025)

SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism
par: Marzouk, Reda, et autres
Publié: (2025)

Between SC and LOGDCFL: Families of Languages Accepted by Logarithmic-Space Deterministic Auxiliary Depth-k Storage Automata
par: Yamakami, Tomoyuki
Publié: (2022)

Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters
par: Yamakami, Tomoyuki
Publié: (2024)

On the complexity of computing Strahler numbers
par: Ganardi, Moses, et autres
Publié: (2025)

Complexity Aspects of the Extension of Wagner's Hierarchy to $k$-Partitions
par: Podolskii, Vladimir, et autres
Publié: (2024)

Regular Expressions with Backreferences and Lookaheads Capture NLOG
par: Uezato, Yuya
Publié: (2024)

Maximal Length Cellular Automata : A Survey
par: Adak, Sumit, et autres
Publié: (2024)

Trading Determinism for Noncommutativity in Edmonds' Problem
par: Arvind, V., et autres
Publié: (2024)

Constant-Space, Constant-Randomness Verifiers with Arbitrarily Small Error
par: Gezer, M. Utkan, et autres
Publié: (2020)

Visibly Recursive Automata
par: Dubrulle, Kévin, et autres
Publié: (2026)

Review of Automaton Learning Algorithms with Polynomial Complexity -- Completely Solved Examples
par: Haneef, Farah
Publié: (2024)

Complexity of Unary Exclusive Nondeterministic Finite Automata
par: Kutrib, Martin, et autres
Publié: (2024)

Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata
par: Yamakami, Tomoyuki
Publié: (2023)

Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
par: Yamakami, Tomoyuki
Publié: (2021)

Studying homing and synchronizing sequences for Timed Finite State Machines with output delays
par: Vinarskii, Evgenii, et autres
Publié: (2025)

The No Endmarker Theorem for One-Way Probabilistic Pushdown Automata
par: Yamakami, Tomoyuki
Publié: (2021)

Complexity of Fungal Automaton Prediction
par: Formenti, Enrico, et autres
Publié: (2026)

Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
par: Bozga, Marius, et autres
Publié: (2026)

Nondeterministic Auxiliary Depth-Bounded Storage Automata and Semi-Unbounded Fan-in Cascading Circuits
par: Yamakami, Tomoyuki
Publié: (2024)

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
par: Acampora, Renato, et autres
Publié: (2024)

Word problems and embedding-obstructions in cellular automata groups on groups
par: Salo, Ville
Publié: (2025)

An Invitation to Universality in Physics, Computer Science, and Beyond
par: Gonda, Tomáš, et autres
Publié: (2024)

Matching walks that are minimal with respect to edge inclusion
par: Marsault, Victor
Publié: (2024)

Time complexity for deterministic string machines
par: Cataltepe, Ali, et autres
Publié: (2024)

Membership and Conjugacy in Inverse Semigroups
par: Fleischer, Lukas, et autres
Publié: (2025)

Cluster automata
par: Kornai, András
Publié: (2025)

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
par: Yamakami, Tomoyuki
Publié: (2024)

Regular language quantum states
par: Florido-Llinàs, Marta, et autres
Publié: (2024)