@techreport{weko_69780_1, author = "沼井,裕二 and 小林,聡", title = "線形分離オートマトンの高速な状態数最小化アルゴリズム", year = "2010", institution = "電気通信大学大学院電気通信学研究科情報工学専攻, 電気通信大学大学院電気通信学研究科情報工学専攻", number = "3", month = "jul" }