오메가 컨텍스트 프리 언어와 보렐 위계의 새로운 결과

이 논문은 ω‑문맥 자유 언어(ω‑CFL)의 위상적 복잡성을 심층적으로 탐구한다. 저자는 ω‑CFL 중 일부가 분석적 집합이지만 보렐 집합이 아님을 보이며, 주어진 ω‑CFL이 보렐 집합인지 여부를 결정할 수 없음을 증명한다. 또한, 유한 언어 L의 ω‑거듭제곱 L^ω가 보렐이 아닌 경우를 제시하고, ω‑CFL이 산술적 집합인지 여부 역시 결정 불가능함을 보여준다. 마지막으로 이러한 결과를 무한 트리의 컨텍스트 자유 집합으로까지 확장한다.

저자: Olivier Finkel (ELM)