论文标题
部分可观测时空混沌系统的无模型预测
Applications of Recursively Defined Data Structures
论文作者
论文摘要
循环程序包含一个数据结构，其定义是自指或递归的。这种定义的使用允许编写有效的功能程序，并可以避免重复评估，并创建必须收集垃圾的中间数据结构。本文以各种方式使用循环程序，以实施备忘录结构和明确的搜索树，以持有解决方案以限制满足问题。
A circular program contains a data structure whose definition is self-referential or recursive. The use of such a definition allows efficient functional programs to be written and can avoid repeated evaluations and the creation of intermediate data structures that would have to be garbage collected. This paper uses circular programs in various ways, to implement memo-structures and explicit search-trees to hold solutions to constraint-satisfaction problems.
