dfa를 최소화해봤자 그걸 정규식으로 바꾸면 더 커져버림.
물론 가장 짧은 정규식을 찾는 알고리즘이 있음.
근데 내가 알고 있는 알고리즘은 너무 느려서 쓸 수 없음.