形式语法

• 形式语法是一组规则。它用于识别语言中正确或不正确的令牌字符串。形式语法用G表示。
• 形式语法用于生成字母表上语法上正确的所有可能字符串。
• 形式语法主要用于句法分析阶段(解析)，尤其是在编译过程中。

形式语法G编写如下：

G = 

哪里：

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

例：

L = {a, b}, N = {S, R, B}

生产规则：

S = bR
R = aR
R = aB 
B = b

通过这种生产，我们可以生产一些字符串，例如：bab，baab，baaab等。

此产品描述了形状为ba ⁿ ab的字符串。

图：形式语法