5.10. 相关术语

5.10.1. 符号与字母

• 字母表

  • 元素的非空有穷集合

• 符号

  • 字母表中的元素

• 符号串

  • 符号的有穷序列

5.10.2. 文法的形式定义

• 规则

  • 也称产生式，是符号和符号串的有序对

• 符号分为终结符，非终结符

  • 非终结符，出现在规则左部，能派生出符号（串）的符号

  • 终结符，语言的基本符号，不可再分

• 文法

  • 规则的非空有穷集合，通常表示为四元组的形式。包含非终结符的集合、终结符的集合、文法规则的集合、非终结符号