と思ったけど。DFAに変換できれば、問題ない気がした。