◈ 이 책의 대상 독자 ◈ 자료 구조와 알고리듬에 관한 대학원 수업을 가르치는 교수자는 수강생을 위해 이 책의 원하는 부분을 어디든지 선택할 수 있다. 하지만 기초 교재는 아니며, 연구원, 박사과정 또는 석사과정 대학원생과 문자열 알고리듬에 직접적인 연관이 없더라도 알고리듬 수업을 강의해야 하는 학자들을 위한 참고자료로 집필했다. 이 책은 이 분야의 표준 교재에 대한 참고자료라고 생각해야 한다. 문제에 포함된 설명은 이 주제에 대한 깊은 배경지식을 요구하지 않고 그 이해와 해법에 대한 빠른 접근을 제공한다. ◈ 이 책의 구성 ◈ 이 책은 7개의 장으로 구성된다. 1장, ‘문자열학의 기초’는 다음 장을 위한 용어, 기본 개념, 기본 도구를 소개하며 준비하는 장으로, 이 분야의 여섯 가지 큰 줄기를 반영한다. 2장, ‘조합론적 퍼즐’은 단어에 대한 조합 문제에 대한 장으로, 많은 알고리듬이 그 입력의 조합론적 성질에 기반하기 때문에 중요한 주제다. 3장, ‘패턴 찾기’에서는 가장 고전적인 주제인 문서 탐색과 문자열 일치를 다룬다. 4장, ‘효율적 자료 구조’는 문서 색인을 위한 자료 구조에 대해 다룬다. 이 자료 구조는 문서와 관련된 특수한 배열이나 나무와 같은 여러 알고리듬에서 기본적 도구로 사용한다. 5장, ‘단어의 정규성’에서는 단어에서 나타나는 정규성, 특히 반복과 대칭성에 대해 다루며, 알고리듬의 효율성에 큰 영향을 준다. 6장, ‘문자열 압축’은 무손실 문서 압축에서 실질적으로 중요한 영역의 몇 가지 기법을 주로 다룬다. 7장, ‘그 외의 다양한 알고리듬’은 이전 장에 어울리진 않지만, 확실히 알릴 가치가 있는 다양한 문제를 소개한다. ◈ 옮긴이의 말 ◈ 컴퓨터는 대량의 자료를 자동으로 처리하기에 적합한 장치이며 처리할 수 있는 자료는 본질적으로 문자열, 또는 수열이다. 문자열이란 말 그대로 문자를 늘어놓은 것으로, 인류가 만들어낸 모든 정보는 문자열이다. 예를 들면 우리가 흔히 접하는 신문 기사, 소설과 같이 자연어로 이뤄진 것이 있고, 컴퓨터에 작업을 지시하기 위해 정해진 규칙에 의해 만들어진 프로그램 코드와 같은 인공어가 있다. 이외에도 유전 정보를 담고 있는 DNA 서열, 단백질을 구성하는 아미노산 순서, 음악을 표현하는 음표의 길이와 순서 등 생각보다 다양한 곳에 문자열이 숨어 있다. 이와 같은 문자열을 컴퓨터를 사용해 다루려면 문자열에 숨어 있는 패턴을 탐구해 그 특성에 맞는 알고리듬을 사용할 필요가 있다. 최근에는 컴퓨터 성능의 개선과 인공지능의 발달로 문자열 처리를 알고리듬 수준에서 다뤄야 할 필요성이 줄어들었다고 생각할 수도 있겠지만, 컴퓨터가 다뤄야 하는 자료가 문자열로 돼 있는 한 문자열 알고리듬의 중요성은 결코 줄지 않는다. 특히 컴퓨터의 발달에 힘입어 아무리 머신러닝을 통해 임의의 문자열을 처리할 수 있다고 하더라도, 주어진 문자열을 목적에 적합하게 처리하는 알고리듬이 존재한다면 그 알고리듬을 사용하는 편이 더 효율적인 경우가 많다. 따라서 문자열 알고리듬을 공부하고 연구하는 것은 인공지능의 시대에도 여전히 중요한 문제다. 이 책에서는 컴퓨터를 사용해 문자열을 다루기 위해 필요한 기본 지식부터 패턴 매칭, 문자열 압축과 같은 고급 알고리듬에 이르는 다양한 기법을 구체적인 문제를 통해 살펴보고 있다. 이 책에서 다루는 문제는 앞서 언급한 자연어나 인공어의 처리, 유전 정보 해석, 음악 분석 등에서 널리 사용되는 알고리듬과 관련이 있다. 관심 있는 독자라면 각 알고리듬이 어디에서 쓰이고 있는지 눈치챌 수 있을 것이다. 독자는 이 책에서 제시하는 문제를 하나씩 해결하면서 지적인 즐거움을 얻을 수 있고, 더 나아가 새로운 문자열 처리 알고리듬을 발견할 수 있을지도 모른다. 더 자세한 내용에 대해서는 참고문헌을 찾아서 공부해보는 방법도 좋을 것이다. 개인적으로는 이 책을 번역하면서 컴퓨터 과학의 본질적인 흥미를 다시 느낄 수 있었다. 가령 압축 알고리듬으로 쓰이는 LZW 알고리듬이나 RLE 알고리듬을 수업 시간에 배울 땐 별다른 감흥이 없었다. 하지만 이 책을 번역하면서 기초 개념부터 다시 한번 살펴본 바로는 이러한 알고리듬을 개발하기 위해 고민을 거듭했던 무수한 선배 과학자의 노력이 엿보였다.

1장. 문자열학의 기초 2장. 조합론적 퍼즐 __1 페르마의 작은 정리의 문자열학적인 증명 __2 부호성 검사의 간단한 경우 __3 마방진과 투에 - 모스 단어 __4 올덴버거 - 콜라코스키 수열 __5 제곱이 없는 게임 __6 피보나치 단어와 피보나치 기수법 __7 와이트호프의 게임과 피보나치 단어 __8 서로 다른 주기적 단어 __9 투에 - 모스 단어의 친척 __10 투에 - 모스 단어와 거듭제곱의 합 __11 단어의 켤레와 회전 __12 켤레 회문 __13 많은 회문을 갖는 많은 단어 __14 순열의 짧은 초단어 __15 순열의 짧은 초수열 __16 스콜렘 단어 __17 랭포드 단어 __18 린던 단어에서 드 브루인 단어로 3장. 패턴 찾기 __19 경계표 __20 가장 짧은 덮개 __21 짧은 경계 __22 접두어 표 __23 최대 접미어로 향하는 경계표 __24 주기성 검사 __25 엄격한 경계 __26 순차적 문자열 탐색의 지연 __27 희박한 탐색 자동자 __28 효율적으로 비교하는 문자열 탐색 __29 피보나치 단어의 엄격한 경계표 __30 싱글톤 변수를 갖는 단어 __31 순서 보존 패턴 __32 매개변수화된 탐색 __33 좋은 접미어 표 __34 보이어-무어 알고리듬의 최악의 경우 __35 초고속 BM 알고리듬 __36 와일드카드를 갖는 문자열 탐색 __37 순환적 등가 __38 간단한 최대 접미어 계산 __39 자기최대 단어 __40 최대 접미어와 그 주기 __41 단어의 임계 위치 __42 린던 단어 접두어의 주기 __43 지민 단어를 찾아서 __44 불규칙적인 2차원 패턴 검색 4장. 효율적 자료 구조 __45 최단 덮개에 대한 리스트 알고리듬 __46 최장 공통 접두어 계산 __47 접미어 배열에서 접미어 나무로 __48 선형 접미어 트라이 __49 삼진 검색 트라이 __50 두 단어의 최장 공통 인자 __51 부분문자열 자동자 __52 부호성 검사 __53 최장 기존 인자 표 __54 투에-모스 단어의 접미어 정렬 __55 앙상한 접미어 나무 __56 피보나치 단어의 접미어 비교 __57 이진 단어의 회피 가능성 __58 단어 집합 회피하기 __59 최소 유일 인자 __60 최소 부재 단어 __61 욕심쟁이 초문자열 __62 짧은 단어의 최단 공통 초단어 __63 길이에 의한 인자 수 세기 __64 위치를 덮는 인자 수 세기 __65 최장 공통 홀짝성 인자 __66 기본 인자 사전과 단어의 제곱없음 검사 __67 인자방정식의 일반 단어 __68 무한 단어에서 탐색하기 __69 완벽한 단어 __70 빽빽한 이진 단어 __71 인자 오라클 5장. 단어의 정규성 __72 3개의 제곱 접두어 __73 거듭제곱 단어의 출현에 대한 딱 맞는 한계 __74 일반 알파벳에서 런 계산하기 __75 이진 단어에서 겹침 검사 __76 겹침없음 게임 __77 정박된 제곱 단어 __78 제곱 단어가 거의 없는 단어들 __79 제곱 단어가 거의 없는 이진 단어 __80 제곱 단어가 없는 긴 단어 만들기 __81 제곱 단어 없음 함수의 검사 __82 표지가 붙은 나무에서 제곱 인자의 수 __83 선형 시간 내에 빗에 있는 제곱 단어 세기 __84 세제곱 런 __85 짧은 제곱 단어와 국소적 주기 __86 런의 개수 __87 정렬된 알파벳에 대한 런 계산 __88 주기성과 인자 복잡도 __89 함수적 단어의 주기성 __90 단순한 반-지수 __91 회문의 회문적 연결 __92 회문 나무 __93 회피할 수 없는 패턴 6장. 문자열 압축 __94 투에-모스 단어의 BW 변환 __95 균형 단어의 BW 변환 __96 제자리 BW 변환 __97 렘펠-지프 인자분해 __98 렘펠-지프-웰치 복호화 __99 허프만 부호의 비용 __100 길이가 제한된 허프만 부호화 __101 실시간 허프만 부호화 __102 런 길이 부호화 __103 빽빽한 인자 자동자 __104 피보나치 단어에서 압축된 일치 __105 일부분 일치에 의한 예측 __106 접미어 배열 압축하기 __107 욕심쟁이 초문자열의 압축률 7장. 그 외의 다양한 알고리듬 __108 이진 파스칼 단어 __109 자기 재생 단어 __110 인자의 가중치 __111 문자 출현 횟수 차이 __112 경계가 없는 접두어로 인자분해 __113 단항 연장에 대한 원시성 검사 __114 부분적으로 교환 가능한 알파벳 __115 최대 고정밀도 목걸이 __116 등가-주기 이진 단어 __117 드 브루인 단어의 실시간 생성 __118 드 브루인 단어의 재귀적 생성 __119 변수의 길이가 주어진 단어 방정식 __120 세 문자 알파벳으로 이뤄진 다양한 인자 __121 가장 긴 증가하는 부분문자열 __122 린던 단어를 통한 회피 불가능한 집합 __123 단어 동기화하기 __124 금고 열림 단어 __125 짧아진 순열의 초단어