麦卡锡91函数-一流百科

麦卡锡91函数

简介麦卡锡91函数是一个递归函数，由计算机科学家约翰-麦卡锡定义为计算机科学中形式化验证的一个测试案例。对于所有整数参数n≤100，评估该函数的结果为M(n)=...