現在の状態と，着目している文字列から， 現在の状態から任意の終端文字列(の状態)に到達できるか？ その終端文字列に一致するか？ を調べたら多少最適化できるんじゃない？と安易に考えてみたけれど，論理否定と0回以上の繰り返しがあって正しく動作しなか…