产品提交
文章投稿
登录/注册
显示直达
是一个
是一个
顶点
语法
字符串
语言
量子
终端
递归
同构
型式
对称对数导数
简介对称对数导数是量子计量学的一个重要量，与量子费雪信息有关。对称对数导数的定义让{displaystylerho}是赫米特的和正半无限的。是赫米特的和正半无限的。...
压扁的纠缠
简介压扁的纠缠，也叫CMI纠缠（CMI可以读作见我），是一种信息论上的量子纠缠度量，适用于一个两方量子系统。如果{displaystyle{varrho_{A,B}}是系统的密度矩...
还原准则
还原准则在量子信息理论中，还原准则是一个混合状态必须满足的必要条件，以使其可分离。换句话说，还原准则是一个可分离性准则。它在1999年被首次证明并独立...
反事实的量子计算
简介反事实的量子计算是一种推断计算结果的方法，它不需要实际运行量子计算机，否则就能主动执行该计算。概念起源物理学家格雷姆-米奇森和理查德-乔兹萨提出...
独立复合体
简介图的独立复合体是一个描述图的独立集的数学对象。从形式上看，无向图G的独立复合体，用I(G)表示，是一个抽象的简单复合体（即在取子集操作下封闭的有限集...
混合图
什么是混合图在图论中，混合图G=（V，E，A）是由一组顶点V、一组（无定向）边E和一组定向边（或弧）A组成的图。定义和符号考虑相邻的顶点u,v∈V{displaystyleu...
入射位置集
简介在数学中，入射位置集或入射顺序是一种部分有序的集合，代表无向图的顶点和边的入射关系。图G的发生位置集对G中的每个顶点或边都有一个元素；在这个位置...
图的同态性
图的同态性在图论的数学领域，图的同态性是两个图之间尊重其结构的映射。更具体地说，它是两个图的顶点集之间的一个函数，将相邻的顶点映射到相邻的顶点。同...
图同态
什么是图同态在代数拓扑学和图论中，图同态描述了图的同态组，其中图被视为一个拓扑空间。它正式确定了图中洞的数量的概念。它是简单同源的一个特例，因为图...
图合并
什么是图合并在图论中，图合并是两个图之间的关系（一个图是另一个图的合并）。类似的关系包括子图和小数。合并可以提供一种方法，在保持某些结构不变的情况...
图论的术语
什么是图论的术语在自由词典Wiktionary中查找附录：图论的术语。这是一份图论的词汇表。图论是对图的研究，即通过线或边成对连接的节点或顶点系统。质数符号'...
分数图同构
分数图同构在图论中，其邻接矩阵表示为A和B的图的分数同构是一个双随机矩阵D，使DA=BD。如果双随机矩阵是一个置换矩阵，那么它就构成了一个图的同构。计算复...
有向图
什么是有向图在数学中，更具体地说，在图论中，有向图（或二维图）是由一组顶点组成的图，这些顶点由有向边连接，通常称为弧。有向图的定义在形式上，一个有...
严格函数
什么是严格函数在计算机科学和计算机编程中，如果一个函数f应用于一个非终止表达式时，它也不能终止，则称其为严格函数。在编程语言的指称语义学中，一个严格...
布尔可满足性问题
布尔可满足性问题在逻辑学和计算机科学中，布尔可满足性问题（有时称为命题可满足性问题，缩写为SATISFIABILITY，SAT或B-SAT）是确定是否存在一个满足给定布...
子串
什么是子串在形式语言理论和计算机科学中，子串是一个字符串中连续的字符序列。例如，thebestof是Itwasthebestoftimes的一个子串。相反，Itwastimes是Itwasth...
字符串操作
字符串操作在计算机科学中，在形式语言理论领域，经常使用各种字符串函数；但是，所使用的符号与计算机编程所使用的符号不同，一些在理论领域常用的函数在编...
受控改写
什么是受控改写受控改写是形式语言的一个特定领域，研究能够对衍生步骤中应用的生产进行某种控制的语法系统。由于这个原因，在受控重写理论中研究的语法系统...
正则树语法
正则树语法在理论计算机科学和形式语言理论中，正则树语法是一种描述一组有向树或术语的形式语法。正则词语法可以被看作是一种特殊的正则树语法，描述的是一...
有理数列
什么是有理数列在数学和计算机科学中，有理数列是对环上形式化幂级数概念的概括，当基本代数结构不再是环而是半联体时，不假设相邻的不确定数进行换算。它们...
后规范系统
后规范系统Postcanonicalsystem，又称Postproductionsystem，由EmilPost创造，是一种字符串处理系统，它从有限的许多字符串开始，通过应用有限的j套特定形式...
解析器组合器
解析器组合器在计算机编程中，解析器组合器是一个高阶函数，它接受几个解析器作为输入并返回一个新的解析器作为其输出。在这种情况下，解析器是一个接受字符...
矩阵语法
什么是矩阵语法矩阵语法是一种形式化的语法，其中产品被分组为有限序列，而不是单一产品。一个产品不能被单独应用，它必须被连续应用。在应用这样的产品序列...
左递归
什么是左递归在计算机科学的形式语言理论中，左递归是递归的一个特例，一个字符串通过分解成同一语言的一个字符串（在左边）和一个后缀（在右边）的事实，被...
空字符串
什么是空字符串在形式语言理论中，空字符串，或空字，是长度为零的xxx字符串。形式理论从形式上看，一个字符串是一个有限的、有序的字符序列，如字母、数字或...
连合语法
什么是连合语法连合语法是形式语言理论中研究的一类形式语法。它们扩展了语法的基本类型，即无语境语法，有一个连合操作。除了显式连接外，连接式语法还允许...
锥体（形式语言）
锥体（形式语言）在形式语言理论中，锥体是一个形式语言的集合，它具有一些著名的语言集合所享有的一些理想的封闭性，特别是正规语言、无语境语言和可递归列...
属性语法
属性语法属性语法是用语义信息处理来补充形式语法的一种正式方式。语义信息被存储在与语法的终端和非终端符号相关的属性中。属性的值是与语法的产品相关的属...
抽象语族
抽象语族在计算机科学中，特别是在形式语言理论领域，抽象语族是一个抽象的数学概念，概括了正规语言、无语境语言和可递归列举语言以及科学文献中研究的其他...
抽象的接受器家族
抽象的接受器家族抽象的接受器家族（AFA）是广义接受器的一个分组。非正式地讲，接受器是一个具有有限状态控制、有限数量的输入符号、以及具有读写功能的内部...
1
…
4
5
6
7
8
…
27
添加小工具
点此为“分类归档侧边栏”添加小工具
对称对数导数
压扁的纠缠
还原准则
反事实的量子计算
独立复合体
混合图
入射位置集
图的同态性
图同态
图合并
图论的术语
分数图同构
有向图
严格函数
布尔可满足性问题
子串
字符串操作
受控改写
正则树语法
有理数列
后规范系统
解析器组合器
矩阵语法
左递归
空字符串
连合语法
锥体（形式语言）
属性语法
抽象语族
抽象的接受器家族