文章目录
概念
概览表
名词 | 解释 | 示例 |
---|---|---|
lexical analysis,scanning | 词法分析 | - |
Token | 词法单元 | (if,-), (id,x) |
Lexeme | 词素,词法单元的实例 |
语言的定义
- 文法(G, Grammar): 四元组 G = ( V N , V T , S , P ) G = (V_N,V_T, S, P ) G=(VN,VT,S,P),
- 其中 V N V_N VN:一个非空有限的非终结符号集合,它的每个元素称为非终结符,一般用大写 字母表示,它是可以被取代的符号;
- V T V_T VT:一个非空有限的终结符号集合,它的每个元素称为终结符,一般用小写字母 表示, 是一个语言不可再分的基本符号;
- S:一个特殊的非终结符号,称为文法的开始符号或识别符号,S ∈ VN。开始符号 S必须至少在某个产生式的左部出现一次; 设V是文法G的符号集,则有: V = V N ∪ V T , V N ∩ V T