정규표현식: 정리