Şunu göster {xy ∣ | x | = | y |, x ≠ y} bağlam içermez


43

Bağlamsız bir dille ilgili şu soruya rastladığımı hatırlıyorum, ancak bunun bir kanıtı bulamadım. Belki de soruyu yanlış anladınız mı?

Neyse, işte soru:

Bu dilin içerikten bağımsızdır.L={xy|x|=|y|,xy}


5
Oh, bu iyi bir tane! <3
Raphael

Yanıtlar:


35

Hak talebi : bağlam içermez.L

Kanıt Fikri : Birinci ve ikinci yarı arasında en az bir fark olması gerekir; bir tane üretmeyi garanti eden ve gerisini keyfi bırakan bir gramer veriyoruz.

İspat : Basitlik amacıyla, ikili alfabesini alın . Kanıt diğer boyutlara kolayca uzanır. Dilbilgisi göz önünde bulundurun :Σ={a,b}G

SABBAAaaAaaAbbAabAbBbaBaaBbbBabBb

Ürettiği oldukça açık

L(G)={w1kxw2v1k+lyv2l|w1|=|w2|=k,|v1|=|v2|=l,xy}Σ;

şüpheli, çiftler halinde durum farklılığıyla ve üzerinde iç içe geçmiş bir indüksiyon gerçekleştirebilir . Şimdi, ve gidip geliyor (sezgisel olarak konuşursak, ve , her ikisi de kelimenin geri kalanından bağımsız olarak seçilen sembolleri içerdiğinden sembol alışverişi yapabilir). Bu nedenle, ve aynı konumdadır (kendi yarısında), bu, anlamına gelir çünkü , dilinde başka bir kısıtlama getirmez.kl(x,y)w2v1w2v1xyL(G)=LG


İlgilenen okuyucu iki takip probleminden zevk alabilir:

Egzersiz 1 : için bir PDA ile gel !L

Alıştırma 2 : Peki ya ?{xyz|x|=|y|=|z|,xyyzxz}


Bu dilbilgisini kullanırsak, şöyle bir dize oluşturabiliriz: Bundan sonra, abba olarak bir S elde ettik! Bu ham dil L'ye eşit değil, burada bir hata mı var? SAB Aa BbBa,thenBb
George.Zhao

@ George.Zhao Ben takip etmiyorum. Cleary, ile ve ? abbaLx=aby=ba
Raphael
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.