CH2 形式语言

知识点

• 基本概念
  • 字母表，字符串（句子）
  • 字符串的运算：
    1. 连接（concentation）
    2. 取逆（倒置）
  • 字母表的运算
    1. *闭包，+闭包
  • 语言
  • 语言的运算：
    1. 积（得到一个新的集合）
    2. 幂（得到一个新的集合）
• 文法
  • 元语言 ——BNF
    • 文法是一种 产生语言的数学模型（数学规则，数学方法）
    • 故本质上文法是描述语言的语言
    • 因此 文法是一种元语言
  • Chomskey文法体系 ——统一定义文法
    • A->B：A可被B替代
    • aAb=>aBb：直接推导，其中A->B是P中的生成式
    • 文法的定义 G=(N,T,P,S)
      • G:文法
      • N:非终结符
      • T:终结符
      • P:生成式的有限集合
      • S:起始符，只能是非终结符
    • 推导序列与句型（句型只针对于推导序列）
    • 句子与句型的分别
    • 文法产生的语言：L(G)
    • 0型文法：无限制文法（…->