イプシロン辺は除去しない

イプシロン辺の除去は、手間の割に効果ないのではないか。ワープ記号をちゃんとした一人前の記号としてアルファベットにいれておいて、ワープのルールを入れておけば、特に何もしなくても十分に速いような気がする。

もちろん、まったく無駄なワープは削除してもいいけど、実行系はワープ付きで考えるべきだ。後から、コンパイラががんばってワープを減らすことはできるんだから。