2-3语言的定义

推导和归约

α₀ => α₁
α₁ => α₂
α₂ => α₃
α_n-1 => α_n

• 可简记为 α₀ => ⁿα_n
• α => ⁰α
• =>⁺表示“经过正数步推导“
• =>^*表示经过若干步(可以是0)推导

如何判定某一词串是否是该语言的句子

• 句子的推导(派生) - 从生成语言的角度
• 句子的归纳 - 从识别语言的角度

句型和句子

一个句型中既可以包含终结符，又可以包含非终结符，也可以是空串
如果S=>w,w∈V_T,则称w是G的一个句子
句子是不包含非终结符的句型

语言的形式化定义

文法G

语言上的运算