相关术语
========================================

符号与字母
----------------------------------------
- 字母表
    - 元素的非空有穷集合
- 符号
    - 字母表中的元素
- 符号串
    - 符号的有穷序列

文法的形式定义
----------------------------------------
- 规则
    - 也称产生式，是符号和符号串的有序对
- 符号分为终结符，非终结符
    - 非终结符，出现在规则左部，能派生出符号（串）的符号
    - 终结符，语言的基本符号，不可再分
- 文法
    - 规则的非空有穷集合，通常表示为四元组的形式。包含非终结符的集合、终结符的集合、文法规则的集合、非终结符号