形式语法

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

形式语法G编写如下：

G = <V, N, P, S>

哪里：

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

例：

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

生产规则：

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

通过这种生产, 我们可以生产一些琴弦, 例如：bab, baab, baaab等。

此作品描述了banab形串。

图：形式语法