우리는 패턴매칭에서 많이 사용되는 정규언어의 연산 ${\sum}^*L$에 대한 일반적인 경우의 상태복잡도와 단항 알파벳인 경우의 상태복잡도를 살펴본다. 정규언어의 상태복잡도는 해당 정규언어를 승인하는 최소결정적 유한 인식기의 상태 개수를 말한다. 패턴매칭, 검색엔진에 많이 사용되는 어떤 정규언어 L 에 대한 연산 ${\sum}^*L$의 상태복잡도를 살펴봄으로써, 좀 더 효율적인 리소스 관리를 통해 좀 더 빠른 검색을 할 수 있다.
연구 과제 주관 기관 : 한국연구재단