국부적 최소비용 오류보정에서 Prefix String의 효율적 계산

국부적 최소 비용 오류 보정 모델은 구문적 오류에 대한 처리 방식이 프로그래밍 언어에 무관하고 table-driven 방식의 formal한 오류 보정 방식이다. 이 모델은 어떠한 구문적 오류를 포함하는 입력 프로그램에 대해서도 오류가 발생한 상태에서 컴파일러 설계자에 의해 주어지는 터미널 심볼들의 삽입 및 삭제 비용을 기초로 하여 최소비용 삽입스트링을 계산하고 이용함으로써 입력 프로그램을 끝까지 파싱하는 장점을 가지고 있다. 본 논문에서는 최소비용 삽입스트링의 계산에 이용되는 prefix string 계산함수에서의 새로운 관계식을 기술하고 그 계산 알고리즘을 제시하였으며, 오류보정 파서생성 시스템에 구현하여 그 효율성을 보였다.