@techreport{weko_31765_1, author = "高崎,慶輔 and 伊藤,暁", title = "切断オートマトン", year = "2005", institution = "山口大学工学部, 山口大学工学部", number = "110(2005-AL-103)", month = "nov" }