形式言語理論: 第11回

実施日時: 2013-07-02（火） 2限
講義内容: 文脈自由文法の意味（再帰的推論、導出）
教科書5.1.3項〜5.1.5項に相当。