语法-一流百科

Lua

LuaLua（/ˈluːə/LOO-ə；来自葡萄牙语：lua[ˈlu.(w)ɐ]意思是月亮）是一种轻量级、高级、多范式的编程语言，主要为应用程序嵌入而设计。Lua是跨平台的，因为编...

词条百科

语法归纳

语法归纳语法归纳（或语法推理）是机器学习中的一个过程，即从一组观察结果中学习一个正式的语法（通常作为重写规则或生成的集合，或者作为某种有限状态机或...

词条百科

预组语法

预组语法预组语法（PG）是一种与分类语法密切相关的语法形式主义。与分类语法（CG）非常相似，PG是一种类型逻辑语法。然而，与CG不同的是，PG没有一个区分的...

词条百科

组合分类语法

组合分类语法组合分类语法（CCG）是一种高效的可解析的、具有语言表达能力的语法形式。它在表面语法和底层语义表示之间有一个透明的接口，包括谓语-参数结构...

词条百科

非限制性语法

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

词条百科

应用性通用语法

应用性通用语法简介应用性通用语法，或AUG，是一种通用语义金属语言，旨在研究特定语言的语义过程。这是一种语言学理论，通过类比应用性编程语言中的功能应用...

词条百科

终端和非终端符号

终端和非终端符号在计算机科学中，终端和非终端符号是用于指定构成形式语法的生产规则的词汇元素。终端符号是形式语法所定义的语言的基本符号。非终端符号（...

词条百科

句法谓词

什么是句法谓词句法谓词指定在形式语法中应用生产的句法有效性，类似于指定应用生产的语义有效性的语义谓词。它是一种简单而有效的手段，通过提供任意的前瞻...

词条百科

SLR语法

SLR语法SLR语法是简单LR解析器所接受的形式化语法的类别。SLR语法是所有LR(0)语法的一个超集，也是所有LALR(1)和LR(1)语法的一个子集。当被SLR分析器处理时，...

词条百科

受控改写

什么是受控改写受控改写是形式语言的一个特定领域，研究能够对衍生步骤中应用的生产进行某种控制的语法系统。由于这个原因，在受控重写理论中研究的语法系统...

词条百科

正则树语法

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

词条百科

正则语法

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

词条百科

范围串联语法

范围串联语法范围串联语法（RCG）是PierreBoullier在1998年提出的一种语法形式主义，试图描述自然语言的一些现象，如中文数字和德语词序扰乱，这些现象超出了...

词条百科

正则表达式

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

词条百科

递归语法

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

词条百科

解析表达式语法

简介在计算机科学中，解析表达式语法（PEG）是一种分析形式语法，即它用一套识别语言中的字符串的规则来描述一种形式语言。这种形式主义是由BryanFord在2004...

词条百科

解析器语法引擎

简介解析器语法引擎（PGE，最初为Parrot语法引擎）是Parrot虚拟机的Raku规则的编译器和运行时。PGE使用这些规则将解析表达式语法转换成Parrot字节码。因此，...

词条百科

蒙塔格语法

蒙塔格语法蒙塔格语法是一种自然语言语义学的方法，特别是高阶谓词逻辑和λ微积分，并通过克里普克模型，利用了扩展逻辑的概念。Montague在20世纪60年代和70年...

词条百科

矩阵语法

什么是矩阵语法矩阵语法是一种形式化的语法，其中产品被分组为有限序列，而不是单一产品。一个产品不能被单独应用，它必须被连续应用。在应用这样的产品序列...

词条百科

词汇语法

什么是词汇语法在计算机科学中，词汇语法是一种定义令牌语法的正式语法。程序是用所使用的语言的词汇结构所定义的字符来编写的。字符集等同于任何书面语言所...

词条百科

语言方程

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

词条百科

黑田常态形式

简介在形式语言理论中，如果所有的生产规则都属于黑田常态形式，那么一个上下文敏感的语法就属于黑田常态形式。AB→CD或A→BC或A→B或A→a其中A、B、C和D为非终端...

词条百科

连接语法

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

词条百科

索引式语言

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

词条百科

头部语法

什么是头部语法头部语法（HG）是CarlPollard（1984）提出的一种语法形式，是对无语境语法类的扩展。因此，头部语法是一种短语结构语法，而不是一种依赖性语法...

词条百科

索引式语法

索引式语法索引式语法是无语境语法的一种泛化，它的非端点都配有标志列表，或索引符号。由索引式语法产生的语言被称为索引式语言。Hopcroft和Ullman的现代定...

词条百科

格雷巴赫正常形式

格雷巴赫正常形式在形式语言理论中，如果所有生产规则的右侧以一个终端符号开始，后面可选择一些变量，那么一个无语境语法就处于格雷巴赫正常形式（GNF）。非...

词条百科

等价（形式语言）

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

词条百科

连合语法

什么是连合语法连合语法是形式语言理论中研究的一类形式语法。它们扩展了语法的基本类型，即无语境语法，有一个连合操作。除了显式连接外，连接式语法还允许...

词条百科

类别语法

什么是类别语法类别语法是自然语言语法中的一个形式化系列，它的核心假设是句法成分作为函数和参数结合起来。分类语法认为语法和语义构成之间有密切的关系，...

词条百科

1 2