Pompalama lemmasını tatmin eden ancak düzenli olmayan diller?


18

Düzenli dil Verilen , o zaman orada sabit olduğunu kanıtlamak kolaydır N böyle olduğunu σ L ile, | σ | N α , β ve γ dizeleri vardır , öyle ki | α β | N ve | β | ϵ ve tüm k için α β k γ LLNσL|σ|Nαβγ|αβ|N|β|ϵkαβkγL. Sohbetin doğru olmadığı yaygın olarak ifade ediliyor, ancak net bir örnek görmedim. Herhangi bir öneri? Açıkçası, rahatsız edici dilin düzenli olmadığının kanıtı, tipik "pompalama lemmasını tatmin etmiyor" dan daha güçlü yöntemler kullanmak zorundadır. Basit örneklerle ilgilenmek istiyorum, tanıtıcı resmi dil sınıflarında sunmak.


sadece sonsuz kelimelere sahip RL'ler için geçerli olan bir incelik vardır . wikipedia'nın bir örneği var .
vzn

Benim tanımımda, bir kelime (string) sonludur .
vonbrand

Yanıtlar:


16

dili basit görünüyor. İkinci bölüm normaldir (ve pompalanabilir). İlk kısım düzensizdir ancak pompalamak için $ seçilerek ikinci kısma "pompalanabilir" .{$anbnn1}{$kwk1,w{a,b}}$

$L{$kk1}{a,b} L{a,b}w$

${a,b}


Teşekkürler! Bu kesinlikle faturaya uyuyor. Hala daha fazla örnekle ilgileniyorum.
vonbrand

Oh, ve bütünlük için: Düzenli olmadığını kanıtlamak için, $bir*b* ve sil $bir homomorfizma ile.
vonbrand
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.