@techreport{weko_31627_1, author = "松浦,昭洋 and 齋藤,祐輔", title = "二値アルファベット上の有限オートマトンの等価変換と状態数解析", year = "2008", institution = "東京電機大学理工学部情報システム工学科, 東京電機大学理工学部情報システム工学科", number = "24(2008-AL-117)", month = "mar" }