:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Riechers, Paul M., Elliott, Thomas J.
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Statistical Mechanics Computation and Language Formal Languages and Automata Theory Information Theory
Online Access:	https://arxiv.org/abs/2509.03004
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Landauer Principle and Thermodynamics of Computation
by: Chattopadhyay, Pritam, et al.
Published: (2025)

Fusion Rules of Mobility
by: Zhang, Jie-Yu, et al.
Published: (2025)

Regular language quantum states
by: Florido-Llinàs, Marta, et al.
Published: (2024)

An extended quantum process algebra (eQPAlg) approach for distributed quantum systems
by: Haider, Salman, et al.
Published: (2020)

Formal verification of higher dimensional quantum protocols
by: Puthoor, Ittoop Vergheese
Published: (2024)

Unconditional proofs of quantumness between small-space machines
by: Say, A. C. Cem, et al.
Published: (2024)

Classical and quantum Merlin-Arthur automata
by: Yakaryılmaz, Abuzer
Published: (2022)

Weighted Context-Free-Language Ordered Binary Decision Diagrams
by: Sistla, Meghana, et al.
Published: (2023)

Measuring Grammatical Diversity from Small Corpora: Derivational Entropy Rates, Mean Length of Utterances, and Annotation Invariance
by: Martin, Fermin Moscoso del Prado
Published: (2024)

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
by: Sistla, Meghana, et al.
Published: (2022)

Compiling Quantum Regular Language States
by: Bellante, Armando, et al.
Published: (2026)

Hallucinations are inevitable but can be made statistically negligible
by: Suzuki, Atsushi, et al.
Published: (2025)

A Representative Framework for Implementing Quantum Finite Automata on Real Devices
by: Khadieva, Aliya, et al.
Published: (2024)

Implementing a Quantum Finite Automaton in IBMQ using Custom Control Pulses
by: Lussi, Eduardo Willwock, et al.
Published: (2024)

On the Origin of Quantum Uncertainty
by: Adami, Christoph
Published: (2020)

On the Simulation Cost of Quantum Finite Automata
by: Chen, Zeyu, et al.
Published: (2026)

The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability
by: Sarkar, Aritra
Published: (2020)

Rauzy dimension and finite-state dimension
by: Becher, Verónica, et al.
Published: (2024)

Multihead Finite-State Compression
by: Lutz, Neil
Published: (2025)

The Agafonov and Schnorr-Stimm theorems for probabilistic automata
by: Bienvenu, Laurent, et al.
Published: (2025)

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

How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?
by: Yamakami, Tomoyuki
Published: (2020)

QIP $ \subseteq $ AM(2QCFA)
by: Yakaryılmaz, Abuzer
Published: (2025)

Productive Quantum Programming Needs Better Abstract Machines
by: Núñez-Corrales, Santiago, et al.
Published: (2025)

Recursive numeral systems are highly regular and easy to process
by: Prasertsom, Ponrawee, et al.
Published: (2025)

Unbounded length minimal synchronizing words for quantum channels over qutrits
by: Kjos-Hanssen, Bjørn, et al.
Published: (2026)

Correctness Notions for Petri Nets with Identifiers
by: van der Werf, Jan Martijn E. M., et al.
Published: (2022)

Stochastic Languages at Sub-stochastic Cost
by: Agarwal, Smayan, et al.
Published: (2025)

Automata-based constraints for language model decoding
by: Koo, Terry, et al.
Published: (2024)

A relativistic discrete spacetime formulation of 3+1 QED
by: Eon, Nathanaël, et al.
Published: (2022)

Non-interference analysis of bounded labeled Petri nets
by: Ran, Ning, et al.
Published: (2025)

Statistical process discovery
by: Cry, Pierre, et al.
Published: (2025)

Quantum Büchi Automata
by: Wang, Qisheng, et al.
Published: (2018)

Maximal and minimal dynamic Petri net slicing
by: Llorens, Marisa, et al.
Published: (2021)

A quadratic lower bound for 2DFAs against one-way liveness
by: Adeogun, Kehinde, et al.
Published: (2026)

Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
by: Prabhu, Shreekanth M, et al.
Published: (2023)

Completely reachable automata: a quadratic decision algorithm and a quadratic upper bound on the reaching threshold
by: Ferens, Robert, et al.
Published: (2022)

Prefix Parsing is Just Parsing
by: Pasti, Clemente, et al.
Published: (2026)

Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata
by: Ziiatdinov, Mansur, et al.
Published: (2024)

Formal Verification of Noisy Quantum Reinforcement Learning Policies
by: Gross, Dennis
Published: (2025)