의 보완을위한 PDA 구성

이기 때문에 이것이 가능한지 궁금합니다 . 따라서 단어 을 나머지 와 구별 할 수있는 PDA 도 받아 들일 수 있습니다. $\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}$ $w\in\{a^n b^n c^n \mid n \geq 0\}$ $\{a^*b^*c^*\}$

PDA의 비 결정적 특성을 활용해야한다고 생각하지만 아이디어가 없습니다. 조언을 해 주시면 감사하겠습니다.

— Hauptbenutzer
소스

모순되는 것처럼 보이는 흥미로운 점. 사실, 문맥이없는 언어는 보완을하면서 닫히지 않습니다. 따라서 당신이 암시하는 의미에서 "수락"될 수있는 문맥이없는 언어의 예가 많이 있습니다. 나는 이론가가 아니기 때문에 실제로 이것을 조정할 수는 없지만 다른 누군가가 왜 이것이 걱정할만한 것이 아닌지에 대해 알아볼 수 있습니까?

— Patrick87

의 보수 는 CFG입니다.

{a^{n} b^{n} c^{n} d^{n} e^{n}}

$\{a^n b^n c^n d^n e^n\}$

— sdcvvc

비슷한 질문 입니다.

— Raphael

아니요, 컨텍스트가 없습니다. 수락하려면 , 당신은 반드시 세 개의 숫자가 동일한 것을 확인해야합니다. 을 수락하려면 다음 세 가지 중 하나에 해당해야합니다. $a^nb^nc^n$ $a^*b^*c^* \setminus a^nb^nc^n$

$a$ $b$
$a$ $c$
$b$ $c$

이러한 각 경우에 대해 PDA를 작성한 다음 시작 상태에서 각각에 대해 비 결정적으로 점프하여 PDA를 결합하십시오.

— 패트릭 87
소스

나는이 사건들을 썼다. 그러나 그것들을 연결하려는 생각이 빠져 있었다. 감사합니다!

— hauptbenutzer

실제로 두 가지 경우 만 필요합니다.

— sdcvvc

@sdcvvc 좋은 지적이다. :)

— Patrick87

S \to x S y | X | Y; X \to x | x X; Y \to y | y Y

$S → xSy | X | Y ; X → x | xX ; Y → y | yY$

a^{+}

$a^+$

c^{+}

$c^+$

S \to a S c | A | C; A \to a B | a A; C \to B c | C c; B \to ε | b B