Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: Quantum Büchi Automata
(Submitted on 24 Apr 2018)
Abstract: This paper defines a notion of quantum B\"uchi automaton (QBA for short) with two different acceptance conditions for {\omega}-words: non-disturbing and disturbing. Several pumping lemmas are established for QBAs. The relationship between the {\omega}-languages accepted by QBAs and those accepted by classical B\"uchi automata are clarified with the help of the pumping lemmas. The closure properties of the languages accepted by QBAs are studied in the probable, almost sure and threshold semantics. The decidability of the emptiness problem for the languages accepted by QBAs is proved using the Tarski-Seidenberg elimination.
Link back to: arXiv, form interface, contact.