形式言語理論: 第9回

実施日時: 2013-06-18（火） 2限
講義内容: 有限オートマトンの等価性判定、状態数最小化
教科書4.4節に相当。