若f0 = 1fn = f fn-1-5则是良定义的递归函数。

是的，这是一个良定义的递归函数。它定义了一个递归过程，其中每个后续的函数调用都依赖于前一个函数调用的结果。此外，由于每个f(n)都可以通过递归计算得出，因此它是良定义的。最后，由于初始条件f(0)已经明确定义为1，因此整个函数定义是完整的。

原文地址: http://www.cveoy.top/t/topic/flYF 著作权归作者所有。请勿转载和采集!