부분 직접성 포스트 임베딩 문제의 결정 가능성 연구

초록

본 논문은 정규 포스트 임베딩 문제(PEP)에 부분(공)직접성을 도입한 PEP partial dir와 PEP partial co‑dir을 정의하고, 이들 문제의 결정 가능성을 증명한다. 핵심은 히그만 보조정리와 길이 함수 정리를 이용해 해의 길이를 계산 가능한 상한으로 제한하는 것이다. 또한 직접성과 공직접성을 동시에 요구하는 확장형은 불가능함을 보이며, 다양한 응용(채널 머신, UCST 등)과 복합 버전(보편·계산)까지 논의한다.

상세 분석

논문은 먼저 기존의 Regular Post Embedding Problem(PEP)과 그 직접 버전(PEP dir)을 복습하고, 두 문제를 일반화하는 새로운 모델인 PEP partial dir(및 그 대칭인 PEP partial co‑dir)을 제안한다. 여기서 “부분 직접성”이란 정규 언어 R′에 의해 지정된 접두사(또는 접미사) 집합에 대해서만 u(τ)⊑v(τ) 조건을 강제하는 것이다. 이 정의는 PEP(조건을 전혀 요구하지 않음)와 PEP dir(모든 접두사에 대해 요구) 사이의 중간 지점을 제공한다.

주요 기술적 공헌은 두 가지 절차적 레마, 즉 “파란 인덱스에 대한 절단 레마”(Lemma 6)와 “빨간 인덱스에 대한 절단 레마”(Lemma 7)이다. 각각은 해 σ의 특정 구간