Implementation and Application of Automata

DOI10.1007/b105090zbMath1115.68447OpenAlexW4302765085WikidataQ56387363 ScholiaQ56387363MaRDI QIDQ5463983

Tomoyuki Yamakami, Harumichi Nishimura

Publication date: 17 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b105090

zbMATH Keywords

quantum circuitquantum measurementquantum finite automatonquantum interactive proof system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Quantum computation (81P68)

Related Items

One-way reversible and quantum finite automata with advice ⋮ Automata theory based on quantum logic: reversibilities and pushdown automata ⋮ Constant-space quantum interactive proofs against multiple provers ⋮ Interactive proofs with quantum finite automata ⋮ Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata