問題は下記から http://www.ie.u-ryukyu.ac.jp/~kono/lecture/automaton/a02/lecture.html 参考にしたサイトとか http://ocvs.cfv.jp/tr-data/PS2008-014.pdf http://www.ie.u-ryukyu.ac.jp/~kono/lecture/software/s04/neg-graph.html https://ie.u-ryukyu.ac.jp/~e115763/slides/events/osc2014/slide.html