1、文法生成语言

推导

• 定义：当αAβ直接推导出αγβ，即αAβ⇒αγβ，仅当A→γ是一个产生式，且α,β∈(VT∪VN)*。
  注：按照我的理解是两个字符串的推导。
• 如果α1⇒α2⇒…⇒αn,则我们称这个序列是从α1到αn的一个推导。若存在一个从α1到αn的推导，则称α1可以推导出αn。
• 对文法G(E):E→i | E+E | E*E | (E)
  E⇒(E)⇒(E+E)⇒(i+E)⇒(i+i)
• 从一个串到另外一个串的推导往往不是唯一。
• 下面这个就是一种推导
  
• α1⇒* αn,从α1出发，经过0步或若干步推出αn.
• α1⇒+ αn,从α1出发，经过1步或若干步推出αn.
• α⇒* β ,α=β 或α⇒+ β
• 下面三种都是合理的
  <句子> ⇒* He gave me a book.
  <句子> ⇒+he gave me a book.
  He gave 间接宾语 直接宾语 ⇒+ He gave me 冠词 名词

句型、句子和语言

• 假如G是一个文法，S是它的开始符号。如果S⇒*α，则称α是一个句型。
  比如：<主语><谓语><间接宾语><直接宾语>⇒ *He<谓语><间接宾语><直接宾语>,则称He<谓语><间接宾语><直接宾语>是句型。
• 仅包含终结符的句型是一个句子。
  比如：he gave me a book.是一个句子。
• 文法G所产生的句子的全体是一个语言，记为L(G)。
  L(G) = {α|S⇒+α,α∈VT*}

2、句型和句子练习

3、文法与语言