anbmcmdn 上下文无关文法_词法分析 | 上下文无关文法和推导

上下文无关文法是描述程序语言语法的强有力的数学工具。

乔姆斯基文法体系

3型文法：正则文法：词法结构

2型文法：上下文无关文法：语法结构

1型文法：上下文有关文法

0型文法：任意文法

每一个外部文法（大圈）都比内部文法（小圈）表达能力强。

举个自然语言处理的例子

• 自然语言中的句子的典型结构
  • 主语 谓语 宾语
  • 名词 动词 名词
• 例子：
  • 名词：{羊， 老虎， 草， 水}
  • 动词：{吃， 喝}
• 句子：
  • 羊 吃 草
  • 羊 喝 水
  • 老虎 吃 老虎
  • 草 吃 老虎
  • ......

对这个例子，我们进行形式化分析：

（S 表示句子， -> 表示推出， N 表示名词， V 表示动词）

S -> N V N 
N -> s(sheep)
   | t(tiger)
   | g(grass)
   |