%0 Journal Article
%T 量子自动机的刻画
%A 邱道文
%J -
%D 2003
%X 澄清了各类量子自动机之间的相互关系,并给出了量子自动机的各种等价刻画定理.引入G-量子自动机、g-量子自动机、(广义)量子自动机及G-量子文法和g-量子文法,并阐明了它们与其他量子自动机之间的等价关系.在一定条件下讨论了G(g)-量子自动机与G(g)-量子文法的等价性,从而解决了关于量子文法产生量子正规语言的问题.讨论了量子语言与正规语言的关系,特别是回答了Gudder提出的两个公开问题.最后,给出了一种减少状态空间维数的方法
%K Hilbert空间 量子计算 自动机 文法 正规语言
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20030102&flag=1