在计算机编程语言,一个递归类型(也被称为递归定义,电感定义或感应数据类型)是一种数据类型,选择那些包含相同类型的其它值的值。递归类型的数据通常被视为有向图。 递归在计算机科学中的一个重要应用是定义动态数据结构,如列表和树。递归数据结构可以响应运行时要求动态增长到任意大的大小; 相反,必须在编译时设置静态数组的大小要求。 有时,术语“归纳数据类型”用于不一定递归的代数数据类型。
... recurrence relation 递归关系,重现关系,... recurrence type 递归类型 recurrence interval 脉冲周期,重复间隔...
基于20个网页-相关网页
... 递归变迁网络 recursive transition network 递归类型 recursive type 递归型定义 recursive type definition ...
基于14个网页-相关网页
Then we present a type system of AH π , which make it possible to formally deduce the limitation of resource access in MA systems. An outstanding part of the type system lies in the introduction of recursive type.
在此基础上,本文还给出了一个简单的AH二演算的类型系统,使得对移动智能体系统中资源存取限制的形式化推导成为可能,其中的突出之处是引入了可递归类型。
参考来源 - 面向网络计算的移动智能体研究与实现·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐