递归-第 2 页-一流百科

数字滤波器

简介在信号处理中，数字滤波器是一个对采样的离散时间信号进行数xxx算的系统，以减少或增强该信号的某些方面。这与另一种主要的电子滤波器--模拟滤波器形成对...

词条百科

Bistritz稳定性准则

Bistritz稳定性准则在信号处理和控制理论中，Bistritz准则是由YuvalBistritz提出的一种确定离散线性时间不变（LTI）系统是否稳定的简单方法。离散LTI系统的稳...

词条百科

继任函数

简介在数学中，继任函数或继任运算将一个自然数发送到下一个自然数。继任函数用S表示，所以S(n)=n+1。例如，S（1）=2，S（2）=3。后继函数是用于构建原始递归...

词条百科

结构性归纳法

简介结构性归纳法是一种证明方法，用于数理逻辑（例如，在证明Łoś'定理）、计算机科学、图论和其他一些数学领域。它是对自然数的数学归纳法的概括，并可进一...

词条百科

指称语义学

指称语义学的语言语言学vte在计算机科学中，指称语义学（最初被称为数学语义学或Scott-Strachey语义学）是一种通过构建描述语言表达式含义的数学对象（称为指...

词条百科

麦卡锡91函数

简介麦卡锡91函数是一个递归函数，由计算机科学家约翰-麦卡锡定义为计算机科学中形式化验证的一个测试案例。对于所有整数参数n≤100，评估该函数的结果为M(n)=...

词条百科

循环不变量

循环不变量在计算机科学中，循环不变量是程序循环的一个属性，在每次迭代之前（和之后）都是真的。它是一个逻辑断言，有时在代码中通过断言调用来检查。知道...

词条百科

直接函数

什么是直接函数直接函数（dfn，发音为deefun）是编程语言APL中定义函数和运算符（高阶函数）的一种替代方式。直接运算符也可以被称为dop（发音为deeop）。它...

词条百科

非限制性语法

非限制性语法在自动机理论中，非限制性语法类（也称为半休、0型或短语结构语法）是乔姆斯基层次中最一般的语法类。对非限制性语法的生成没有任何限制，只是它...

词条百科

递归可列举语言

递归可列举语言在数学、逻辑学和计算机科学中，如果一种形式语言是该语言字母表上所有可能的词语集合中的一个可递归可列举的子集，也就是说，如果存在一台图...

词条百科

递归语言

什么是递归语言在数学、逻辑学和计算机科学中，如果一种形式语言（取自固定字母表的符号有限序列的集合）是该语言字母表上所有可能的有限序列集合的递归子集...

词条百科

循环词

什么是循环词在数学中，循环词或序列是在有限字母上的一个无限词，其中每个因子都会出现无限多次。当且仅当一个无限的词是一个倍数时，它就是递归词。均匀递...

词条百科

递归语法

什么是递归语法在计算机科学中，如果一个语法包含的生成规则是递归的，也就是说，根据这些规则扩展一个非终端，最终可以得到一个再次包括同一非终端的字符串...

词条百科

形式语言的商数

形式语言的商数在数学和计算机科学中，一种语言的右商（或简称商数）。{displaystyleL_{1}}的右商相对于语言L2{displaystyleL_{2}}是由字符串w组成的语言，其...

词条百科

语言方程

什么是语言方程语言方程是类似于数字方程的数学语句，但变量承担的是形式语言的值而不是数字。代替数字方程中的算术运算，变量是由语言运算连接的。在两种语...

词条百科

左递归

什么是左递归在计算机科学的形式语言理论中，左递归是递归的一个特例，一个字符串通过分解成同一语言的一个字符串（在左边）和一个后缀（在右边）的事实，被...

词条百科

抽象语族

抽象语族在计算机科学中，特别是在形式语言理论领域，抽象语族是一个抽象的数学概念，概括了正规语言、无语境语言和可递归列举语言以及科学文献中研究的其他...

词条百科

迷宫生成算法

迷宫生成算法迷宫生成算法是创建迷宫的自动方法。基于图论的方法迷宫可以从预先确定的细胞排列（最常见的是矩形网格，但也可能有其他排列）开始生成，细胞之...

词条百科

递归定义

递归定义在数学和计算机科学中，递归定义，或归纳定义，是用来用一个集合中的其他元素来定义该集合中的元素（Aczel1977:740ff）。一些可递归定义对象的例子包...

词条百科

排序算法

排序算法在计算机科学中，排序算法是一种将列表元素按顺序排列的算法。最常用的顺序是数字顺序和字典顺序，以及升序或降序。高效排序对于优化要求输入数据在...

词条百科

进化计算

什么是进化计算在计算机科学中，进化计算是受生物进化启发的用于全局优化的一系列算法，以及研究这些算法的人工智能和软计算的子领域。在技术方面，它们是...

词条百科

射线投射

射线投射射线投射是3-D CAD / CAM实体建模和图像渲染的方法学基础。它与计算机图形的光线跟踪（图形）基本相同，在计算机图形中，虚拟光线是在从照相机的焦点...

词条百科

递归神经网络

递归神经网络递归神经网络（RNN）是一类神经网络，其中节点之间的连接形成一个有向图沿时间序列。这使其具有时间动态行为。RNN源自前馈神经网络，可以使用其...

词条百科

神经机器翻译

神经机器翻译神经机器翻译（NMT）是一种机器翻译方法，它使用人工神经网络来预测单词序列的可能性，通常在单个集成模型中对整个句子进行建模。属性它们仅需要...

词条百科

Encog

EncogEncog是Java，.Net和C ++的机器学习框架，支持各种学习算法，例如贝叶斯网络，隐马尔可夫模型和支持向量机。但是，Encog的真正价值在于神经网络算法。En...

词条百科

回归神经网络

回归神经网络回归神经网络简称：RNN沿阵列节点之间的耦接向图（英国），以形成人工神经一类网络。这使我们能够显示时间序列的时间动态行为。回归神经网络或循...

词条百科

1 2