國立臺灣大學電機工程學系暨研究所顏嗣鈞2006-07-252018-07-062006-07-252018-07-062004-10-31http://ntur.lib.ntu.edu.tw//handle/246246/8000在探討古典的計算理論相關議題時，通常 會試著提出某種計算模型來與有限自動 機、堆疊自動機、或涂林機等典型的模型 作問題的可計算性以及解決問題所需資 源的複雜度的比較。我們所關心的迴轉次 數限制多計數器自動機，係一個計算能力 與堆疊自動機之間處於模糊地帶的自動 機類型。本計畫的目的是試圖去完成此計 算模型的量子自動機的正規定義，並舉出 其所能接受的例子，進而與其他模型作比 較。此外，盲多計數器自動機的能力與迴 轉次數限制多計數器自動機的能力無 異，因此發展並比較此二模型的量子自動 機也是我們所感興趣的研究議題。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.application/pdf85599 bytesapplication/pdfzh-TW國立臺灣大學電機工程學系暨研究所多計數器自動機迴轉次數限 制盲多計數器自動機量子自動機Multicounter machinesreversal-bounded(partial) blind multicounter machinesquantum automatareporthttp://ntur.lib.ntu.edu.tw/bitstream/246246/8000/1/922218E002053.pdf