점 깊이 1을 둘러싼 탐구

초록

본 논문은 별표 없는 언어의 계층인 점 깊이 계층에서 깊이 1/2와 1에 해당하는 언어들을, 접두어나 접미사를 명시하지 못하도록 제한한 부분 클래스들을 연구한다. 이러한 제한된 클래스는 최소·최대 위치(predicates) 없이 존재적 1차 논리와 일대일 대응함을 보이며, 각각에 대해 효과적인 대수적 특성화를 제공한다. 또한 점 깊이 1/2와 1의 멤버십 결정 문제에 대한 새로운 조합론적 증명을 제시한다.

상세 분석

점 깊이 계층은 별표 없는 정규 언어를 점(·) 연산과 순서 연산으로 구성한 복합 구조를 계층적으로 분류하는 도구로, 논리적 관점에서는 첫 번째 차수의 양화 교대 계층과 맞물린다. 기존 연구는 전체 점 깊이 1/2·1 클래스를 대수적 방법(예: 사슬식 반군집, 변형된 변환군)으로 특성화했지만, 실제 구현에서는 접두·접미 지정이 핵심적인 제약으로 작용한다. 저자들은 “프리픽스·서픽스 금지”라는 새로운 제한을 도입해, 언어가 특정 접두어나 접미사를 명시적으로 요구하지 못하도록 함으로써, 언어 표현력을 미세하게 낮춘다. 이때 얻어지는 두 부분 클래스는 각각 ‘∃FO