아호-코라식 알고리즘
여러 개의 패턴을 동시에 검색할 수 있는 문자열 매칭 알고리즘이다. 본문에서는 대규모 용어집(Glossary)을 파일 전체에서 빠르게 스캔하여 번역 일관성을 유지하는 데 사용됐다.