상세 설명

CIDA 연구실은 형식 언어와 오토마타 이론 분야에서 세계적으로 인정받는 연구를 수행하고 있습니다. 형식 언어는 컴퓨터 과학의 이론적 기초를 이루는 분야로, 언어의 구조와 규칙을 수학적으로 정의하고 분석하는 데 중점을 둡니다. 오토마타 이론은 이러한 언어를 인식하고 처리할 수 있는 수학적 모델(오토마타)의 특성과 한계를 연구합니다. 본 연구실은 정규 언어, 문맥 자유 언어, 트리 언어 등 다양한 언어 계층에 대한 복잡도, 편집 거리, 결정 가능성, 상태 복잡도 등 핵심 이론 문제를 다룹니다. 특히, 본 연구실은 오토마타의 기술적 특성(예: 상태 복잡도, 결정성, 비결정성 등)과 언어 간의 관계, 그리고 다양한 연산(삽입, 삭제, 별, 연결 등)에 대한 이론적 한계를 분석합니다. 최근에는 두 언어 간의 편집 거리 계산, 정규 표현식의 자동 평가 및 채점, 예제 기반 정규 표현식 합성, 그리고 오토마타 기반 프로그램 분석 등 실용적 문제에도 이론적 접근을 시도하고 있습니다. 이러한 연구는 국제 저명 학회 및 저널에 다수 게재되었으며, Salomaa Prize 등 권위 있는 상을 수상하는 등 학계에서 높은 평가를 받고 있습니다. 이와 더불어, 본 연구실은 오토마타 이론을 기반으로 한 다양한 응용 연구도 활발히 진행하고 있습니다. 예를 들어, 자연어 처리, 코드 생성 및 분석, 테스트 케이스 자동 생성, 그리고 신경망 모델의 형식적 검증 등 다양한 분야에 오토마타 이론을 접목하여 새로운 연구 패러다임을 제시하고 있습니다. 이러한 연구는 이론과 실용의 경계를 허물며, 차세대 컴퓨터 과학 발전에 기여하고 있습니다.

키워드

관련 이미지

관련 자료