1차원 효과적 폐쇄 서브시프트를 2차원 타일링으로 구현

논문은 먼저 효과적 폐쇄 서브시프트의 정의와 기존의 2차원 로컬 규칙을 통한 변환 프레임워크 L(A,B,R,π)를 소개한다. 여기서 A는 2차원 타일 알파벳, B는 1차원 알파벳이며, π는 각 타일을 B‑문자로 투사하는 함수이다. 로컬 규칙 R는 M×M 크기의 금지 패턴 집합으로 정의되며, R이 만족되는 모든 A‑구성은 π에 의해 B‑시퀀스로 변환될 때 각 수직 라인에 동일한 B‑문자를 갖는다. 따라서 L(A,B,R,π)는 자연스럽게 B‑시퀀스의 집합이 되고, 이는 좌우 이동에 대해 불변이며 폐쇄 집합이 된다. 첫 번째 정리에서는 L(A,B,R,π)가 항상 효과적 폐쇄 서브시프트임을 보이고, 반대로 임의의 효과적 폐쇄 서브시프트 S⊂B^ℤ에 대해 적절한 (A,R,π)를 찾아 S = L(A,B,R,π)임을 증명한다. 전방향 증명은 비교적 직관적이지만, 역방향 증명은 비주기적 타일 집합의 존재와 깊은 연관이 있다. 기존의 Berger‑Robinson 방식은 복잡하고 구현이 어려워, 저자들은 자신들의 이전 연구