形式文法

在形式语言理论中，文法（formal grammar)是形式语言中字符串的一套产生式规则（production rule）。这些规则描述了如何用语言的字母表生成符合句法(syntax)的有效的字符串。文法不描述字符串的含义，也不描述在任何上下文中可以用它们做什幺——只描述它们的形式。
形式语言理论是应用数学的一个分支，是研究形式文法和语言的学科。它在理论计算机科学、理论语言学、形式语义学、数理逻辑等领域有着广泛的应用。
形式文法是从一个“开始符号”出发的一套重写字符串的规则。因此，文法通常被认为是语言生成器。然而，它有时也可以用作“识别器”（计算机学中的一种函数，用于确定给定字符串是否属于该语言，是否为语法错误）的基础。形式语言理论使用另一个理论来描述识别器，也就是自动机理论。自动机理论有一个有趣的结果，某些形式语言是无法设计出识别器的。
语法分析是通过将一段话语（自然语言中的一个字符串）分解成一组符号，并根据语言的语法分析每一个符号的过程。大多数语言的话语含义都是根据其句法结构来确定的——这种做法被称为组合语义学。因此，在语言中描述话语含义的第一步就是把它分解成若干部分，然后观察它经过分析后的形式（在计算机科学中被称为分析树，在生成文法中被称为深层结构）。

**入门示例**
文法主要由一组变换字符串的规则组成。（如果它只包含这些规则，那幺它就是一个semi-Thue system。）要在该语言中生成字符串，首先需要一个只包含一个开始符号的字符串。然后按任意顺序应用产生式规则，直到生成既不包含起始符号也不包含指定非终结符号的字符串。产生式规则是通过把字符串中第一次出现产生式规则左边的地方，替换成产生式规则的右边，来作用于这个字符串的（参见理论图灵机的运算）。由文法产生的语言包含能用这种方式产生的所有不同的字符串。开始符号上的任何特定产生式规则序列都会在语言中产生一个不同的字符串。如果产生同一个字符串有多种不同的方式，那这个文法就是具有二义性的文法了。
例如，假设字母表由 a 和 b 组成，开始符号是 S，我们有以下产生式规则：
 1. 
 2. 
那幺我们从 S 开始，选择一个规则。如果我们选择规则1，我们将获得字符串 aSb。如果我们再次选择规则1，我们用 aSb 替换 S，得到字符串 aaSbb。如果我们现在选择规则2，我们将 S 替换为 ba 并获得字符串 aababb，然后就完成了。我们可以用符号将这一系列选择写得更简短：。这种文法的语言就是无限集 ，其中  是  重复  次（ 表示使用规则1的次数）。

**形式定义**

**文法的语法**
20世纪50年代，诺姆·乔姆斯基首次提出了生成语法的经典形式化理论， 其中文法 G 由以下部分组成：- 有限的非终结符号集 N，与 G 生成的字符串无交。- 有限的终结符号集 ，与 N 无交。- 有限的产生式规则集 P，每个规则都为如下形式
:  
这里的  是克莱尼星号， 表示并集。也就是说，每个产生式规则从一个符号串映射到另一个符号串，并且产生式左侧的字符串中必须至少包括一个非终结符号。产生式右侧的字符串如果只有一个 空字符串的话，也就是说没有任何符号的话，它有一个特别的标记（通常是、e 或者 ）。- 开始符号 ，也叫句子符号。
文法的形式定义为四元组 。这种形式语法在文献中常被称为重写系统或phrase structure grammar。

**关于形式文法的一些数学构造**
文法的运算可以用字符串的关系来定义:- 设有文法 ， 内的字符串的二元关系 （读作“G经过直接推导为”）定义为：
*:- 关系 （读作“G经0或更多步推导”）定义为  的自反传递闭包- 句型是指可以由开始符号  经过有限步推导得到的  的一个成员；也就是，句型是  的一个成员。不包含非终结符号（即  的成员）的句型称为句子。-  的语言，记为 ，定义为从开始符号  开始经过有限步骤可以推导出的所有句子；也就是集合 。
注意文法  实际上是semi-Thue system ，以完全相同的方式重写字符串；唯一的区别在于我们区分了特定的非终结符号，这些符号必须在重写规则中重写，并且只对从指定的开始符号  到没有非终结符号的字符串的重写感兴趣。

**例子**
在这些例子中，形式语言使用集合建构式符号描述。
考虑文法 ，其中 ，， 是开始符号， 由以下产生式规则组成：
 1. 
 2. 
 3. 
 4. 
这个文法定义了语言 ，这里  表示 n 个  串连所得的字符串。因此，该语言是由1个或更多的 ，后面跟着相同数量的 ，接着是相同数量的  组成的字符串集合。
内字符串的推导例子如下：
（标记  读作“字符串 P 通过产生式 i 生成 Q”，替换的字符串用粗体标出。）

**乔姆斯基谱系**
1956年诺姆·乔姆斯基首次将生成文法形式化时， 他将它们分为现在称为乔姆斯基谱系的四种类型。其中两种重要的文法类型分别是上下文无关文法（2型）和正则文法（3型）。可以用这两种文法描述的语言分别称为上下文无关语言和正则语言。尽管比无限制文法（0型，实际上无限制文法可以表示任何图灵机可以接受的语言）要弱得多，但这两种受限制的语法最常用，因为它们的解析器可以高效地实现。 例如，所有正规语言都可以被有限状态机识别，对于上下文无关文法的有用子集，有一些著名的算法可以生成高效的LL剖析器LR剖析器，以识别文法生成的相应语言。

**上下文无关文法**
上下文无关文法要求产生式左侧只能包含一个符号，并且该符号为非终结符号。这个限制是非常重要的；不是所有的语言都可以由上下文无关的语法生成。那些可以被称为上下文无关语言。
上例定义的语言  并不是一个上下文无关语言，并且这个可以用上下文无关语言的泵引理严格证明，但 （1个及以上  后面跟同样数量的 ）是一个上下文无关语言。因为它可以由文法 （，， 为开始符号）定义，用下列产生式规则：
 1. 
 2. 
通过Earley's algorithm可以在  时间（参见大O符号）内识别上下文无关语言。也就是说，对于每一种上下文无关的语言，都可以构建一台以字符串为输入并及时确定字符串是否为该语言成员的机器，其中  是字符串的长度。 Deterministic context-free language是可在线性时间内识别的上下文无关语言的子集。 由多种算法针对这类语言或它的子集。

**正则文法**
在正则文法中，左侧仍然只是一个非终结符号，但右侧也受到限制。右侧可以是空字符串，也可以是单个终结符号，或者是后跟非终结符号的单个终结符号，但不能是其他符号。（有时会使用更宽泛的定义：可以允许更长的终结字符串或单个非终结字符串，而不能有其他任何东西，从而使语言更易于表示，同时仍然定义同一类语言。）
上面定义的语言  不是一个正则语言，但下面这个语言是：（一个或多个  后面跟着一个或多个 ，这两个的数量可以不一样）。它之所以是正则语言，是因为可以通过文法  定义，其中 ，， 为开始符号，还有如下产生式规则：
# 
# 
# 
# 
# 
由正则文法生成的所有语言都可以被有限状态机在  时间内识别出来。虽然在实际应用中，正则文法通常使用正则表达式来表示，但是实际应用中使用的一些正则表达式并没有严格地生成正则语言，也因此没有表现出线性识别性能。

**生成文法的其他形式**
语言学家和计算机科学家对乔姆斯基的形式语法的原始层次结构进行了许多扩展和变化，通常是为了增强表达能力，或者是为了使分析或解析更加容易。一些形式的文法包括:- 树-邻接文法允许重写规则在分析树上操作，而不仅仅是字符串，从而提高了传统生成文法的表达能力。- Affix grammar和attribute grammar允许通过语义属性和操作扩充重写规则，这对于提高语法表达能力和构建实用的语言翻译工具都很有用。

**递归文法**
递归文法是包含递归产生式规则的语法。例如，如果存在一个非终结符 A，可以通过产生式规则生成一个以 A 为最左边符号的字符串，那幺上下文无关语言的文法就是左递归的。

**分析型文法**
尽管有大量关于语法分析算法的文献，但这些算法大多假设要被分析的语言最初是通过生成式文法来描述的，并且目标是将生成式文法转换成一个有效的语法分析器。严格地说，生成文法不能在任何方面都与解析语言的算法对应上，而且各种算法对产生式规则的形式有不同的限制，这些产生式规则被认为是形式良好的。
另一种方法是首先根据分析型文法将语言形式化，分析型文法能更直接地对应于语言分析器的结构和语义。分析型文法体系的例子包括：-  语言机器 date=20191030102455 直接实现了无限制的分析型文法。替换规则用于转换输入以产生输出和行为。该系统还可以生成 lm图 date=20200415032658 ，显示在应用无限制分析型文法规则时的情况。- Top-down parsing language（TDPL）：一种高度简约的分析型文法形式，在20世纪70年代早期发展起来，用来研究自顶向下的语法分析器的行为。- Link grammar：为语言学设计的一种分析型文法形式，它通过检查词对之间的位置关系来推导句法结构。- 解析表达文法（PEG）：围绕编程语言和编译器编写者的实际Expressivity (computer science)需求而设计的TDPL的最新概括。

**参见**
 抽象语法树- Adaptive grammar- Ambiguous grammar- 巴科斯范式 (BNF)- Categorial grammar- 分析树- 扩展巴科斯范式 (EBNF)- 语法- L系统- 逻辑语- Post canonical system- Shape grammar- 合式公式

**参考文献**

**外部链接**
  Yearly Formal Grammar conference date=20071008144738