语言-第 3 页-一流百科

正则语言

什么是正则语言在理论计算机科学和形式语言理论中，正则语言（也称为理性语言）是一种可以由正则表达式定义的形式语言，在理论计算机科学的严格意义上（与许...

词条百科

正则树语法

正则树语法在理论计算机科学和形式语言理论中，正则树语法是一种描述一组有向树或术语的形式语法。正则词语法可以被看作是一种特殊的正则树语法，描述的是一...

词条百科

正则表达式

正则表达式正则表达式（简称为regex或regexp；有时也被称为理性表达式）是一个字符序列，用于指定文本中的搜索模式。通常，这种模式被字符串搜索算法用于对字...

词条百科

正则语法

什么是正则语法在理论计算机科学和形式语言理论中，正则语法是一种右正则或左正则的语法。虽然它们的确切定义因教科书而异，但它们都要求所有的生成规则最多...

词条百科

递归语言

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

词条百科

递归可列举语言

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

词条百科

递归语法

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

词条百科

形式语言的商数

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

词条百科

局部语言（形式语言）

局部语言（形式语言）在数学中，局部语言是一种形式语言，对于这种语言，一个词的成员资格可以通过查看该词的xxx个和最后一个符号以及每个双符号子串来确定。...

词条百科

标记语言

什么是标记语言标记语言是指一种文本编码系统，由插入文本文件中的一组符号组成，以控制其结构、格式或其各部分之间的关系。标记经常被用来控制文件的显示或...

词条百科

连接语法

什么是连接语法连接语法是在20世纪60年xxx发的一种语言描述性模型。连接语法的前提是，语言的意义可以通过语言元素的连接方式来描述和精确编纂。该模型在20世...

词条百科

语言方程

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

词条百科

解释（逻辑）

解释（逻辑）解释是对一种形式语言的符号的意义分配。许多在数学、逻辑学和理论计算机科学中使用的形式语言完全是用句法术语来定义的，因此在它们被赋予某种...

词条百科

索引式语言

索引式语言索引式语言是AlfredAho发现的一类形式语言；它们由索引式语法描述，可以由嵌套堆栈自动机识别。索引式语言是上下文敏感语言的一个适当的子集。它们...

词条百科

有限厚度

什么是有限厚度在形式语言理论中，特别是在算法学习理论中，如果每个字符串都包含在C中最多有限的许多语言中，那么一个语言类C就具有有限厚度。这个条件是由D...

词条百科

等价（形式语言）

等价（形式语言）在形式语言理论中，两个语法的弱等价意味着它们生成相同的字符串集，也就是说，它们生成的形式语言是相同的。在编译器理论中，这个概念与强...

词条百科

串联

什么是串联在形式语言理论和计算机编程中，串联是将字符串端到端连接起来的操作。例如，雪和球的连接就是雪球。在某些形式化的连接理论中，也称为字符串理论...

词条百科

锥体（形式语言）

锥体（形式语言）在形式语言理论中，锥体是一个形式语言的集合，它具有一些著名的语言集合所享有的一些理想的封闭性，特别是正规语言、无语境语言和可递归列...

词条百科

编译器描述语言

编译器描述语言编译器描述语言（CDL）是一种基于词缀语法的编程语言。它与Backus-Naur形式（BNF）符号非常相似。它是为开发编译器而设计的。它的能力和控制流...

词条百科

词缀语法

词缀语法词缀语法是一种形式语法；它被用来描述语言的语法，主要是计算机语言，使用的方法是基于自然语言的典型描述方式。词缀语法的语法规则是无语境语法的...

词条百科

歧义语法

什么是歧义语法在计算机科学中，歧义语法是指存在一个可以有多个最左派生或解析树的字符串的无背景语法，而非歧义语法是指每个有效字符串都有xxx的最左派生或...

词条百科

抽象语法树

抽象语法树在计算机科学中，抽象语法树（AST），或只是语法树，是用一种形式语言编写的文本（通常是源代码）的抽象语法结构的树状表示。树上的每个节点都表示...

词条百科

抽象语族

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

词条百科

模式语言（形式语言）

模式语言（形式语言）在理论计算机科学中，模式语言是一种形式语言，可以定义为一串常量和变量的所有特定实例的集合。模式语言是由DanaAngluin在机器学习的背...

词条百科

形式语言

形式语言在逻辑学、数学、计算机科学和语言学中，形式语言由单词组成，这些单词的字母来自于一个字母表，并且根据一套特定的规则被很好地构成。形式语言的字...

词条百科

XPDL

XPDLXML流程定义语言(XPDL)是一种由工作流管理联盟(WfMC)标准化的格式，用于在不同的工作流产品之间（即不同的建模工具和管理套件之间）交换业务流程定义。XP...

词条百科

Wolfram 系统建模器

Wolfram 系统建模器Wolfram 系统建模器由 Wolfram MathCore 开发，是一个基于 Modelica 语言的工程和生命科学建模和仿真平台。它提供了一个交互式图形建模和...

词条百科

传统语法

传统语法传统语法是描述语言结构的框架。传统语法的根源在于古典希腊语和拉丁语语言学家的著作。基于这些模型的语法正式研究在文艺复兴时期开始流行。传统语...

词条百科

语言沉浸

什么是语言沉浸语言沉浸，是一种用于双语语言教育的技术，其中两种语言用于各种主题的教学，包括数学、科学或社会研究。用于教学的语言被称为每个学生的L1和L...

词条百科

语法翻译法

语法翻译法语法翻译法是一种外语教学方法，源自古希腊语和拉丁语的古典（有时称为传统）教学法。在语法翻译课程中，学生学习语法规则，然后通过在目标语言和...

词条百科

1 2 3 4 5