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