기존 LittleTree/ReadingTeXbook/2006-05 에 있던 내용인데, 줄바꿈 알고리즘과 관계없는 글을 여기로 옮깁니다.

최근에 매우 흥미로운 페이퍼를 발견했습니다. 그래서 그것때문에 텍북읽기를 잠깐동안 중단했습니다. 중단할 충분한 이유가 있는 페이퍼입니다.

주로 리스트 처리에 대한 테크닉(TeXnique) 내용을 담고 있는 페이퍼입니다. 여기서의 리스트 처리 기법(테크닉)이라 함은 별것아닙니다. 우리가 이미 알고 있는 "꼬리재귀기법"이라고 생각하시면 됩니다. 꼬리재귀기법이 하는 일이 주어진 인자에서 그 인자를 구성하는 토큰들을 하나하나씩 처리하는 것이었습니다. 여기서 인자를 리스트라고 하고, 토큰 각각을 리스트 요소(list element)라고 생각하면 됩니다.

페이퍼의 제목에 나와있는 "FIFO"라 함은 "First In First Out"의 약자입니다. 우리말로 하자면, 먼저 들어온 놈을 먼저 내보낸다는 뜻입니다. 즉 어떤 매크로와 그의 인자로 리스트가 주어졌을때, 리스트의 요소들이 차례로 매크로에 적용된다는 것입니다. 예를들어, \foo abc\oof가 있을때, 만약 \foo가 FIFO의 꼬리재귀기법으로 구현된 매크로라면, 그 매크로의 뜻은 다음과 같습니다. 다시 한 번 설명하자면, 매크로 \foo에 'abc'라는 리스트가 입력 스트림(stream)으로 들어오면 \foo는 들어오는 순서대로 처리하여 내보낸다는 의미입니다. 쉬운 내용일지도 모르는데, 작은나무가 너무 장황하게 설명하는 것은 아닌가 모르겠습니다.

그렇다면, 페이퍼 제목에 나와있는 다른 이상한 단어 "LIFO"는 무슨 뜻일까요? FIFO를 힌트삼아 생각해보세요. 그렇죠. 바로 "Last In First Out"의 약자입니다. LIFO를 적용하면 \foo abc\oof는 다음과 같이 됩니다. 이제 어휘와 개념에 대한 기본지식은 모두 갖추었습니다. 본격적으로 시작하겠습니다. 작은나무가 이 페이퍼에 매료된 것은 기존의 알고있던 꼬리재귀기법이 너무도 엘레강스하고 효율적으로 구현되고 있기 때문입니다. 이 페이퍼에서 말하는 FIFO가 적용된 꼬리재귀기법은 다음과 같습니다. 우리가 기존에 알고있던 꼬리재귀기법과 정확히 동일한 일을 합니다. 오히려 "\let\next=\foo"이런 식의 할당문(assignment statement)이 필요없습니다. 이 방법이 기존의 방법보다 간단하면서 효율적이라고 합니다. 그리고 이 \fifo의 응용으로 단어들을 처리하는 방법은 어떻게 하면 될까요? 이전에 작은나무가 작성한 TeX 매크로 작성 기법이라는 글을 보면, 꼬리재귀기법과 동일하고 스페이스만으로 구분했던 것을 알수 있습니다. 마찬가지로 여기서도 스페이스를 구분자(delimeter)로 사용하면 됩니다. 다음과 같습니다. 기존의 방법보다 단순 명료합니다. 위 두개의 매크로에서 \process, \processw만 하고자 하는 일의 목적에 맞게 구현해 주면 됩니다. 쉽고 간단합니다.

그러면 위의 두개의 매크로를 가지고 텍북 67페이지의 연습문제11.5가 얼마나 쉽게 해결되는지 보겠습니다. 그 연습문제를 약간 간략화 하면, 다음과 같습니다. \demobox라는 매크로를 정하는데, 라고 하면 다음과 같은 결과를 얻는 매크로입니다.

잘 살펴보시면, 우선 단어별로 처리하고, 그 다음에 각 단어의 글자마다 박스만 그려주면 되는 것입니다. 따라서 위의 두개의 매크로 \fifo...\ofif 와 \fifow...\wofif 가 사용되는 것입니다. 이제 \process와 \processw만 정의하면 해결되는데, 이또한 쉬워서 각 글자를 처리하는 \process가 할 일은 그 글자를 둘러싸는 박스를 그리는 일이고, \processw가 할 일은 주어진 인자에서 단어마다 \fifo#1\ofif를 호출하면 됩니다. 즉, 각 단어마다 박스를 그리는 매크로를 호출하면 되는 것입니다. !!!

소스는 다음과 같습니다. (DohyunKim님이 지적해주신 것과 제시해 주신 해결책으로 소스를 일부 수정하였습니다.) 문제를 원래의 문제에서 약간 간략화 하긴 했지만, Knuth가 제시한 원래 해답보다 많이 간단해 진것을 확인하실 수 있을 것입니다.

마지막으로 LIFO를 적용한 매크로 \lifo...\ofil는 어떻게 구현하면 될까요? 한 번 해보세요. 힌트: \fifo...\ofif 를 조금만 바꾸면 됩니다. \process를 언제 실행하느냐가 문제입니다.