this question gördüm ve Pompalama Lemma ne kadar meraklı (Wikipedia pek faydası olmadı). Ben ötesinde belirli bir sınıf için bir dil için, ama doğru olması gereken temelde bir teorik kanıtı gerçekten anlamıyor bunu anlıyorum. Herkes oldukça ayrıntılı bir düzeyde bunu açıklamak için bir yol olmayan matematikçiler/comp sci doktora tarafından anlaşılabilir ister misin?

Kabul cevabı iyi, ama açıklar gibi hissetmiyorumamaçpompa dağılımı.

Pompa lemma bir dil Sonlu durum Makinesi bir işaret için inşa edilecek düzenli bir anlamı olmadığını göstermek için basit bir kanıtıdır. Kurallı örnek dilidir (a^n)(b^n). Bu sadece as bler aynı sayıda ardından herhangi bir sayı olan basit bir dildir. Bu dizeleri

ab
aabb
aaabbb
aaaabbbb

vb. dili vardır, ama

aab
bab
aaabbbbbb

vb. değildir.

Bu örnekler için bir FSM oluşturmak için yeteri kadar basit

Bu şekilde n=4 çalışır. Sorun dilimizi n üzerinde herhangi bir kısıtlama koymamış ve Sonlu durum Makineleri, iyi olmak, sonlu olmak zorunda. Kaç tane bu makine için ekleyebilirim olursa olsun, biri bana n devlet sayısı eşittir artı bir ve benim makine başarısız olur bir giriş verebilir. Eğer bir makine bu dili okumak için inşa edilmiş olabilir varsa, devlet sayısı sınırlı tutmak için bir döngü içinde bir yerde olmalı. Bu döngü ile ekledi:

dilimizi dizeleri tüm kabul edilecektir, ama bir sorun var. ailk dört s sonra makinenin kaç as aynı durumda kalır, çünkü giriş olmuştur count kaybeder. Dört sonra, Dize, bs, ve hala aynı dönüş değeri herhangi bir ekleme olmadan istediğim gibi as gibi birçok ekleyebilirsiniz anlamına gelir. Bu dizeleri anlamına gelir:

aaaa(a*)bbbb

(a*) as herhangi bir sayıyı temsil eden, belli ki dilde değil halde makine tarafından kabul edilecektir. Bu bağlamda, dize parçası (a*) pompalanır. Sonlu durum Makinası sonlu ve n sınırlı değildir, aslında dili tüm dizeleri kabul eden herhangi bir makine bu özellik OLMALI garanti eder. Makine bir noktada döngü ve dil pompalanır döngüsü bu noktada gerekir. Bu nedenle Sonlu durum Makinesi bu dil için inşa edilebilir, ve dilini düzenli değildir.

20* *ve birbiri içine gömülebilir Html etiketleri açılış ve kapanış a b değiştirin unutmayın, ve it is not possible to use regular expressions to parse Html neden görebilirsiniz