pith. sign in

arxiv: quant-ph/0304082 · v1 · submitted 2003-04-11 · 🪐 quant-ph

Decidable and undecidable problems about quantum automata

classification 🪐 quant-ph
keywords undecidableautomatadecidablefinitenon-strictproblemproblemsquantum
0
0 comments X
read the original abstract

We study the following decision problem: is the language recognized by a quantum finite automaton empty or non-empty? We prove that this problem is decidable or undecidable depending on whether recognition is defined by strict or non-strict thresholds. This result is in contrast with the corresponding situation for probabilistic finite automata for which it is known that strict and non-strict thresholds both lead to undecidable problems.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.