- 形式语法是一组规则。它用于识别语言中正确或不正确的令牌字符串。形式语法用G表示。
- 形式语法用于生成字母表中语法上正确的所有可能字符串。
- 形式语法主要用于句法分析阶段（解析）, 尤其是在编译过程中。
G = <
V, N, P, S>
哪里：
N描述了一组非终结符号。 V描述了一组有限的端子符号。 P描述了一组生产规则S是开始符号。
例：
L = {a, b}, N = {S, R, B}生产规则：
S = bRR = aRR = aB B = b【形式语法】通过这种生产, 我们可以生产一些琴弦, 例如：bab, baab, baaab等。
此作品描述了banab形串。
文章图片
图：形式语法
