例句與造句

1. To generate and manipulate codata, one typically uses corecursive functions, in conjunction with lazy evaluation.
2. Corecursion need not produce an infinite object; a corecursive queue is a particularly good example of this phenomenon.
3. Roughly speaking, if one were to port these definitions to the category of sets, they would still be corecursive.
4. The control structure for operating on recursive data types is primitive recursion or paramorphism, and the control structure for corecursive data types is primitive co-recursion or apomorphism.
5. The language allows ordinary recursive data types, such as might be found in ML, which are required to be finite, and corecursive data types, which are allowed to be potentially infinite.
6. It's difficult to find corecursive in a sentence. 用corecursive造句挺難的
7. Many functions that are traditionally analyzed as recursive can alternatively, and arguably more naturally, be interpreted as corecursive functions that are terminated at a given stage, for example recurrence relations such as the factorial.
8. Note also that in the recursive traversal there is a distinction between leaf nodes and branch nodes, while in the corecursive traversal there is no distinction, as each node is treated as the root node of the subtree it defines.
9. Notably, given an infinite tree, the corecursive breadth-first traversal will traverse all nodes, just as for a finite tree, while the recursive depth-first traversal will go down one branch and not traverse all nodes, and indeed if traversing post-order, as in this example ( or in-order ), it will visit no nodes at all, because it never reaches a leaf.
10. By contrast, the corecursive traversal handles a " root node " ( at the " top " ) as the base case ( given a node, first output the value ), treats a tree as being " synthesized " of a root node and its children, then produces as auxiliary output a list of subtrees at each step, which are then the input for the next step  the child nodes of the original root are the root nodes at the next step, as their parents have already been dealt with ( cut off " above " ).