文法

文法

基本概念

• 符号：字母、数字、标点…
• 字母表∑：一个有穷符号集合*（比如ASCII码就是一个字母表）*
  • 字母表的乘积
    • ∑₁∑₂ = { ab | a∈∑₁，b∈∑₂}
  • 字母表的n次幂
    • ∑⁰ = ∅
    • Σⁿ = Σ^n-1 * Σ，n > 1
  • 字母表Σ的正闭包
    • Σ⁺ = Σ ∪ Σ² ∪ Σ³…
    • 可以看做是len = 1、2、...n，的字符串集合
  • 字母表Σ的克林闭包
    • Σ^* = Σ⁰∪Σ ∪ Σ² ∪ Σ³…
    • 可以看做是len = 0、1、2、...n，的字符串集合
• 串（字符串）: ∀x∈Σ^*，x称为Σ是Σ上的一个字符串
  • 串是字母表中符号的一个有穷数列
  • 串s的长度记作|s|，指串中字符的个数
  • 用ε表示空串，|ε| = 0
  • 串的运算
    • 连接：若x、y是串，那么x和y的连接为xy或yx，xy中，x称为前缀，y为后缀
    • εs = sε = s

文法的形式定义

• G = {V_T, V_N, P, S}

• V_T: 终结符集合
    文法所定义的语言的基本符号  token

• V_N: 非终结符结合
    表示语法成分的符号  语法变量

  • V_T ∩ V_N = ∅
  • V_T ∪ V_N = 文法符号集

• P: 产生式

  • 一般形式：α→β，读作α定义为β
  • α∈（V_N∪V_T)⁺，且α中至少包含一个属于V_N的元素：称为产生式的头或者左部
  • β∈（V_T∪V_N):成为产生式的体或者右部
  • 若有α→β₁，α→β₂…α→β_n，即这些产生式中拥有相同的头部，则可以简写成α→β₁|β₂|…|β_n，β₁、β₂…β_n称为α的候选式，| 读作’或’

• S: 开始符号

  • 表示该文法中最大的语法成分，是特殊的非终结符