In this project, the quantum version of a
computational model called
“reversal-bounded multi-counter automata”
is considered. The goal of this project is to
provide the formal definition of the model,
propose some examples accepted by such
automata, and furthermore compare their
computational power with others’. In
addition, two quantum versions of the
so-called blind counter machines are also
investigated.
