オートマトン理論再考
J-STAGE
www.jstage.jst.go.jp