tamamlayıcısı için bir PDA oluşturun

Bunun mümkün olup olmadığını merak ediyorum, çünkü . Bu nedenle 'ın geri kalanından ayırabilecek bir PDA da kabul edebilir bu bana çelişkili geliyor. $\{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^*\}$

Sanırım PDA'ların deterministik olmayan doğasından faydalanmalıyım ama fikirlerim bitti. Bazı tavsiyeler sunabilirseniz çok takdir ediyorum.

— hauptbenutzer
kaynak

Bu konuda ilginç bir nokta çelişkili görünüyor. Gerçekten de, bağlam-içermeyen diller tamamlayıcı göz önüne alındığında kapatılmaz ... dolayısıyla bağlamsız dillerden bahsettiğiniz anlamda "kabul edilebilecek" birçok örnek vardır. Ben bir teorisyen değilim ve bu yüzden bunu gerçekten uzlaştırmak mümkün değil, ama belki de başka biri bunun neden endişelenecek bir şey olmadığını söyleyebilir.

— Patrick87

Bunun genelleştiğine dikkat edin:

nin tamamlayıcısı bir CFG'dir.

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

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

— sdcvvc

Benzer bir soru .

— Raphael

Hayır, bu bağlam içermez. kabul etmek üç sayının eşit olduğundan emin olmanız gerekir. kabul etmek , aşağıdaki üç durumdan birinde olduğunuzdan emin olmanız gerekir: $a^nb^nc^n$ $a^*b^*c^* \setminus a^nb^nc^n$

Sayısı s sayısından farklı olan s; veya $a$ $b$
Sayısı s sayısından farklı olan ler; veya $a$ $c$
Sayısı s sayısından farklı olan s. $b$ $c$

Bu vakaların her biri için bir PDA yazın, ardından başlangıç durumundan her birine belirsiz olmayan bir şekilde atlayarak bunları birleştirin.

— Patrick87
kaynak

Bu davaları iyi yazmıştım, ama onları bağlama fikrini kaçırmıştım. Teşekkür ederim!

— hauptbenutzer

Aslında sadece iki davaya ihtiyacınız var.

— sdcvvc

@sdcvvc İyi bir nokta. :)

— Patrick87

Farklı sayıda karakter için bunu ilham olarak düşünün:

. Bunun soluna

veya sağa

yapıştırmak ve bunu bir PDA'ya dönüştürmek basit olmalıdır . Zor durum için (ihtiyacınız olmayan)

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

— Jonas Kölker