形式文法

• 形式文法是一组规则。 它用于识别语言中正确的或不正确的 token 字符串。 形式文法表示为 G。
• 形式文法用于生成字母表上所有可能的字符串，这些字符串在语言中是句法上正确的。
• 形式文法主要用于语法分析阶段（解析），特别是在编译期间。

形式文法 G 编写如下

其中

N 描述了非终结符的有限集合。
V 描述了终结符的有限集合。
P 描述了一组产生式规则
S 是开始符号。

示例

推导规则

通过此产生式，我们可以生成一些字符串，例如：bab、baab、baaab 等。

此产生式描述 baⁿab 形状的字符串。

      图：形式文法