生成递归与Corecursion

时间:2015-05-14 16:29:37

标签: recursion generative corecursion

维基百科对recursion的讨论表明,生成递归函数“可以经常被解释为核心函数”(强调我的),而维基百科对corecursion的讨论使它听起来像是当它指出“某些作者将此[corecursion]称为生成递归时,两个是同义词。”

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

0 个答案:

没有答案