本頁只刊出中文翻譯與中文說明;英文原文請見下方原文連結。
原文連結
論文資訊
- 類型:已發表論文
- 日期:2008
摘要
We introduce 隨機 and 量子 finite-state transducers as computation-theoretic models of classical 隨機 and 量子 finitary processes. Formal process 語言s, representing the distribution over a process' behaviors, are recognized and generated by suitable specializations. We characterize and compare deterministic and nondeterministic versions, summarizing their relative 計算 power in a hierarchy of finitary process 語言s. 量子 finite-state transducers and generators art, a first step toward a computation- theoretic analysis of individual, repeatedly measured 量子 dynamical systems. They are explored via several physical systems, including an iterated-beam-splitter, an atom in a magnetic field, and atoms in an ion trap-a special case of which implements the Deutsch 量子 algorithm. We show that these systems' behavi
※ 此為已發表論文,全文需透過期刊付費取得