问题6：如何形式化描述一个decision problem (L,Σ) PRIMALITY TESTING Σ：∑bool L:PRIM ={w E(0,1]*Number(w)is a prime} Primality testing Input::Anx∈2tol Output:"yes"if Number(x)is a prime, "no"otherwise. 为什么书中要加这么一句话？ For primality testing we always consider(PRIM,Sooo)as the formal definition of this decision problem.问题6：如何形式化描述一个decision problem？ 为什么书中要加这么一句话？ ( L , ∑ ) ∑: ∑bool L: