국부적 최소비용 오류보정에서 전위문자열의 효율적인 계산

Fischer 등이 제안한 국부적 최소비용 오류보정 모델은 입력문법에 나타난 터미널 심볼들의 삽입 및 삭제 비용을 기초로 한 프로그래밍 언어에 무관하고 formal한 오류보정 방식이다. Eryacc은 기존의 UNIX 환경에서 동작하는 파서 생성 시스템인 yacc에 상기 모델을 기초로 최광무 등이 제안한 LR 파싱 방식에서의 효율적인 최소비용 삽입스트링의 계산에 이용되는 전위문자열의 비효율적인 계산 알고리즘 때문에 Ada, CHILL과 같은 큰 크기의 프로그래밍 언어에 대해서는 Eryacc의 수행이 비현실적이었다. 본 논문에서는 심볼들간의 dependency 관계를 이용한 효율적인 전위문자열 계산 알고리즘을 제안하고 Eryacc에 구현하여 그 효율성을 보였다.