두 NPDA의 교차로에 대한 라파엘의 제안에 대한 아프로 포이즈 :
하자 1 및 이 문맥 - 자유 언어 NPDA을 L 1 과 L 이 각각. L = L 1 ∩ L 2 가 문맥이 없다는 것을 알고 있다고 가정하면 , L에 대해 NPDA A 를 (효과적으로) 구성 할 수 있습니까?
모든 유형의 알고리즘을 사용할 수 있지만 실용적 일수록 좋습니다.
L1 / L2가 일정하지 않고 교차로가 비어 있지 않은 L의 예가 도움이 될 수 있습니다. 그러한 L이 있습니까? NPDA와의 다소 유사한 문제 (교차의 공허함 시험, 평등 시험)는 결정 불가능하다. 응답이 없으면 tcs.se로 마이그레이션 / 프로모션을 제안하십시오
—
vzn
@vzn 나는 ~ 50 주 예를 가지고 있다고 생각합니다. 더 작은 사람을 찾으려고 노력할 것입니다.
—
soandos
알파벳 에서 문자열 "적어도 1/3 1"과 "2/3 1보다 적음" 은 모두 DCFL이며 그 교차점은 CFL (DCFL 아님)입니다.
—
sjmc
@ sjmc 증거를 스케치 할 수 있습니까? 나에게 명백하지 않다. 답변이 완전하지 않더라도 답변으로 게시하면
—
투표가