2

Wikipedia 对递归的讨论表明,生成递归函数“通常可以被解释为核心递归函数”(强调我的),而 Wikipedia 对corecursion的讨论使得这两者听起来像是同义词,当它指出“一些作者将此 [corecursion] 称为生成递归。”

生成递归和核心递归有什么区别?它们是严格的同义词,还是有时生成递归的东西不是核心递归的?

4

0 回答 0