\[\begin{aligned} & //\ 测试一个数是否是合数 \& WITNESS(a, n) \& \quad n-1 = 2^{t}*u,\ a \% 2=1\& \quad x_0 = a^{u} \% n \& \quad for\ i\ in\ 1..=t \& \quad \quad x_i = x_{i-1}^{2} \% n \& \quad \quad if\ x_i = 1\ \And\And\ x_{i-1} \ne 1\ \And\And\ x_{i-1}\ne n-1\& \quad \quad \quad return\ true\& \quad \quad end \& \quad end\& \quad \& \quad if\ x_t \ne 1\& \quad \quad return\ true\& \quad end\& \quad return\ false\& end & \quad \& \quad \& // 测试奇自然数n是质数还是合数 \& MILLER-RABIN(n,s)\& \quad for\ j\ in\ 0..s\& \quad \quad a=RANDOM(1,n)\& \quad \quad if\ WITNESS(a,n) \& \quad \quad \quad return\ COMPOSITE \& \quad \quad end\& \quad return\ PRIME\& end \\end{aligned} \]