에피스트루미안 단어 연구

본 서베이 논문은 무한 에피스트루미안 단어(episturmian words)의 전반적인 이론을 정리한다. 서론에서는 Sturmian 단어가 2‑문자 알파벳 위에서 최소 인자 복잡도와 균형성을 통해 다양한 수학·물리·컴퓨터 과학 분야에 응용된 배경을 설명하고, 이를 다중 알파벳으로 확장하는 두 가지 자연스러운 방법—일반화된 균형성 및 quasi‑Sturmian 복잡도—을 소개한다. 이후 Arnoux‑Rauzy 시퀀스와 에피스트루미안 단어의 정의를 제시한다. Arnoux‑Rauzy 시퀀스는 각 길이마다 정확히 하나의 좌·우 특수 팩터를 가지며, 그 모든 좌·우 특수 팩터가 단어 전체에 포함되는 강한 폐쇄성을 갖는다. 에피스트루미안 단어는 “역전(closed under reversal)과 각 길이마다 최대 하나의 좌특수 팩터”라는 두 조건만을 만족하면 된다. 이 정의는 Sturmian 단어를 |A|=2인 경우와 동일하게 만든다. 두 번째 섹션에서는 표준 에피스트루미안 단어(epistandard word)의 특성을 정리한다. 표준 형태는 모든 좌특수 팩터가 접두사인 경우이며, 이를 구성하기 위해 팰린드롬 폐쇄(palindromic closure) 연산을 이용한다. 구체적으로, 임의의 유한 단어 w에 대해 가장 짧은 회문 w(+)을 구하고, 이를 반복 적용해 Pal 함수(Pal) 를 정의한다. Pal(wx) = (Pal(w)·x)(+) 로 재귀적으로 정의되며, Pal(x₁…x_n) 은 길이 n+1의 회문이 된다. 논문은 Pal 연산을 통해 “지시어(directive word) Δ = x₁x₂… (x_i∈A)” 로부터 표준 에피스트루미안 단어 s를 \