イプシロン展開にもキャッシュを導入
受理状態セットの重複排除処理を効率化
コメントアウトしたコードを削除
longおよびlong[]をラッパーであるLongおよびLong[]に変更