标签: recursion generative corecursion
维基百科对recursion的讨论表明,生成递归函数“可以经常被解释为核心函数”(强调我的),而维基百科对corecursion的讨论使它听起来像是当它指出“某些作者将此[corecursion]称为生成递归时,两个是同义词。”
生成递归和核心运动的区别是什么?它们是严格的同义词还是有时生成递归的东西不 corecursive?