가능한 두 NPDA의 교차점 계산

하자 및 문맥 - 자유 언어 NPDA을 과 각각. 가 문맥이 없다는 것을 알고 있다고 가정하면 , 대해 NPDA 를 (효과적으로) 구성 할 수 있습니까? $A_1$ $A_2$ $L_1$ $L_2$ $L = L_1 \cap L_2$ $A$ $L$

모든 유형의 알고리즘을 사용할 수 있지만 실용적 일수록 좋습니다.

computability automata pushdown-automata

— 소안도 스
소스

L1 / L2가 일정하지 않고 교차로가 비어 있지 않은 L의 예가 도움이 될 수 있습니다. 그러한 L이 있습니까? NPDA와의 다소 유사한 문제 (교차의 공허함 시험, 평등 시험)는 결정 불가능하다. 응답이 없으면 tcs.se로 마이그레이션 / 프로모션을 제안하십시오

— vzn

@vzn 나는 ~ 50 주 예를 가지고 있다고 생각합니다. 더 작은 사람을 찾으려고 노력할 것입니다.

— soandos

알파벳

에서 문자열 "적어도 1/3 1"과 "2/3 1보다 적음" 은 모두 DCFL이며 그 교차점은 CFL (DCFL 아님)입니다.

{0, 1}

$\{0,1\}$

— sjmc

@ sjmc 증거를 스케치 할 수 있습니까? 나에게 명백하지 않다. 답변이 완전하지 않더라도 답변으로 게시하면

— 투표가

update 이것은 임의의 TM 계산이 두 개의 CFL의 교집합으로 표현 될 수 있다는 점을 바탕으로 tcs.se 에서 결정 불가능한 것으로 나타납니다 .

— vzn

나는 생각 이 순열 불변 진 알파벳됩니다의 CFLs의 서브 클래스 가능합니다.

$\langle 1,1\rangle$

교집합 인 반 선형 집합은 계산하기가 다소 어려울 수 있습니다. 그러나 만약 당신이 그것을 가지고 있다면, [3] (pgs. 11-12)는 해당하는 반 선형 세트.

[2] 요한 반 벤템. 논리 의미론의 에세이 . 언어 및 철학 연구 29, 1986, pp 151-176.

[3] Marcin Mostowski. 모나드 양자화 기의 계산 의미론 . 응용 비 클래식 로직 저널, 8 (1-2) : 107-121, 1998.

— sjmc
소스