20 년 전, 정규 표현식에서 유한 상태 머신 (DFA)으로의 변환을 포함하는 정규 표현식 패키지를 구축했으며, 닫힌 정규 표현식 작업 (클린 스타, 연결, 역, 설정 작업 등)을 지원했습니다. 패키지의 최악의 성능에 대해 확신이 없었습니다.
n 상태 NDFA는 2 ^ n 상태의 DFA로 간단하게 변환 될 수 있기 때문에 DFA는 NDFA와 동일한 표현력을 갖습니다. 그러나 기하 급수적으로 폭발 할 필요가없는 그러한 변환에 대한 하한 보증이 있습니까?
나는 행동이 잘못된 정규 표현이나 NDFA의 예를 생각 해낼 수 없었지만 그것에 대해 생각하는 데 많은 시간을 소비하지 않았습니다. ((((e | A | B | C) * (e | D | E | F)) * (e | G | H | I)) * (e | J | K | L과 같은 정규식을 추측합니다. 많은 교대와 Kleene 별이 혼합 된 | M)) *는 선형 크기의 NDFA이지만 광범위한 DFA를 갖습니다.