L(CFG)의 연결성 문제의 복잡도 분석

여러가지 제약 조건하에서 문맥 자유 그래프(CFG)를 재출력하려는 시스템에 의해 생성되어진 그래프 언어상에서, 우리는 연결성 문제들의 정확한 복잡도를 분석할 것이다. L을 적어도 하나의 비연결된/연결된 그래프를 생성하는 모든 문맥 자유 재출력 시스템들의 집합이라 가정할때, L이 log 공간 축소화를 갖는 DEXPTIME-완성임을 이 논문에서 증명할 것이다. 여기서 DEXPTIME은 결정적 지수 시간 복잡도를 의미한다. 이것의 결과로, 만약 L이 유한이면 L은 log 공간 축소화를 갖는 PSPACE-완성임을 얻게 될 것이다.