形式文法

• 文脈自由言語でない言語とポンピング補題・uvwxy定理・例題について

  

• 正規文法と定義・具体例・生成規則・例題・有限オートマトンについて

  

• 文脈依存文法の定義・具体例・生成規則・オートマトンについて

  

• 文脈自由文法と導出木、 最左導出と最右導出の性質と例について

  

• オートマトンや形式文法でよく出る～記号・用語～