ET0L 언어를 이용한 군의 공동단어 문제 연구

초록

본 논문은 군의 공동단어 문제(co‑word problem)가 ET0L 언어에 속하는 경우를 ‘coET0L 군’이라 정의하고, 특히 ‘특수’ ET0L 언어에 해당하는 자동화 모델(cspda)을 이용해 이러한 군들의 폐쇄성 및 포함 관계를 체계적으로 조사한다. 가상 자유군, 유한 자동화 군, 히그먼‑톰프슨 군 등을 포함한 여러 중요한 군 클래스가 특수 coET0L 군에 속함을 보이며, 부분군, 유한 확장, 자유·직접곱, 제한된 표준 wreath 곱 등에 대해 폐쇄성을 증명한다.

상세 분석

논문은 먼저 ET0L 언어와 이를 인식하는 체크스택 푸시다운 자동기(cspda)의 정의를 상세히 제시한다. 기존의 van Leeuwen 모델을 Bishop‑Elder가 정형화한 ‘특수 cspda’는 일곱 가지 제약(P1‑P7)을 만족하도록 설계되었으며, 특히 입력을 읽는 단계와 스택 조작을 엄격히 구분한다. 이러한 제약은 자동기의 비결정성을 배제하고, 스택 연산이 체크스택의 위치와 1:1 대응하도록 강제함으로써 언어가 ET0L 클래스에 정확히 대응하도록 만든다.

핵심 결과는 다음과 같다.

1. 가상 자유군: 기존에 가상 자유군이 결정적 컨텍스트 자유(word problem)와 그 보완인 co‑word problem이 컨텍스트 자유이므로 ET0L에 포함된다는 사실을 이용한다. 논문은 이를 특수 cspda로 직접 구현하여, 초기화 단계에서 충분히 긴 체크스택을 준비하고, 이후 푸시다운 스택을 이용해 자유 부분군의 축소어를 처리함으로써 co‑word problem을 인식한다.

2. 유한 자동화 군: Grigorchuk 군, Gupta‑Sidki 군 등은 이전 연구에서 indexed 언어(co‑indexed)로 알려졌으며, Bishop‑Elder가 제시한 자동화 기반 ET0L 인식 결과를 활용한다. 논문은 이 결과를 ‘특수’ 제약에 맞게 변형하여, 각 자동화 상태를 체크스택에 매핑하고, 제한된 표준 wreath 곱 구조를 이용해 상위 군이 가상 자유군일 때 폐쇄성을 확보한다.

3. 히그먼‑톰프슨 군: 이 군들은 이미 co‑context‑free 로 알려졌지만, 논문은 특수 cspda를 이용해 직접적인 ET0L 인식을 제공한다. 여기서는 트리 구조를 이용한 스택 연산을 체크스택에 기록함으로써, 트리의 각 노드 방문 순서를 정확히 재현한다.

4. 폐쇄성: 특수 coET0L 군 클래스는 (i) 유한 생성 부분군, (ii) 유한 직접곱, (iii) 유한 확장, (iv) 자유곱(유한 개수의 자유 인자), (v) 제한된 표준 wreath 곱(위층 군이 가상 자유군) 등에 대해 닫혀 있음을 보인다. 특히, (P6) ‘입력 단어가 언어에 속하지 않을 경우 자동기가 즉시 실패하거나 이전 상태를 유지한다’는 성질이 폐쇄성 증명에 핵심적인 역할을 한다.

5. 생성 집합 독립성: Theorem 6.1에서 특수 coET0L 성질이 선택된 생성 집합에 의존하지 않음을 증명한다. 이는 cspda의 초기화 단계에서 체크스택에 충분히 많은 ‘패딩’ 심볼을 삽입함으로써, 어떤 생성 집합이든 동일한 언어를 인식하도록 변형할 수 있음을 의미한다.

전반적으로 논문은 기존의 indexed‑language 기반 결과들을 ET0L‑언어라는 보다 강력한 형식 언어 프레임워크로 끌어올리면서, 자동화 모델을 통해 구체적인 인식 기계를 구성한다. 이는 군 이론과 형식 언어 이론 사이의 교량을 강화하고, 복잡도 계층에서 새로운 자연적 클래스(co‑ET0L)를 정의하는 데 기여한다.