量子运算的图灵机 姜咏江 毫无疑问,量子计算机是使用四进制进行计算的。我们就用二位二进制数来做一个非确定型量子加法运算的图灵机。 非确定型图灵机定义如下: A non-deterministic Turing machine can be formally defined as a 6-tuple Μ=(Q,Σ,β,□,Α,δ), where Q is a finit ...
理解图灵机 姜咏江 1. 图灵机定义 图灵机用形式语言定义从维基百科摘抄如下: Following Hopcroft and Ullman (1979, p. 148), a (one-tape) Turing machine can be formally defined as a 7- tuple where Q is a finite, non-empty set of states Γ is a finite, non-empt ...