文法
文法的定义
一个形式文法是一个有序四元组 \(G = (V, T, P, S)\)，其中：
V是「变元」的有穷集；非终结符，不是语言的组成部分，不是最终结果，可理解为占位符T是「终结符」的有穷集；是语言的组成部分，是最终结果，\(V \cap T = \emptyset\)P是「产生式」的有穷集；一个产生式包含：- 一个变元，称为产生式的「头」
- 一个产生符号 \(→\)
- 一个 $(V \cup T)^{*} $ 中的串，称为产生式的「体」
S是「初始符号」，\(S \in V\)，是文法开始的地方
正则表达式
可以用下面的表达式表示：
\[ letter(letter∣digit)^{*} \]
进一步使用字符类扩展 letterletter 和 digitdigit，得到今天计算机中常用的正则表达式：
\[ [A-Za-z][A-Za-z0-9]^{*} \]
参考资料
https://juejin.cn/post/6844904069539053575#heading-3
https://blog.csdn.net/weixin_45980031/article/details/108219979