가능한 두 NPDA의 교차점 계산


13

두 NPDA의 교차로에 대한 라파엘의 제안에 대한 아프로 포이즈 :

하자 1 문맥 - 자유 언어 NPDA을 L 1L 각각. L = L 1L 2 가 문맥이 없다는 것을 알고 있다고 가정하면 , L에 대해 NPDA A 를 (효과적으로) 구성 할 수 있습니까?A1A2L1L2L=L1L2AL

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


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

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

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

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

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

답변:


6

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

1,1

1,1

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

[1] 가나자와 마코토. 결정 론적 푸시 다운 오토마타에 의해 인식되는 수도원 양자화 기 . 19th Amsterdam Colloquium, 139-146, 2013 페이지.

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

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

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.