Toutes les langues non régulières ne réussissent pas le test du lemme de pompage. Wikipédia a un exemple extrêmement complexe d'une langue non régulière qui peut être pompée. Donc, même si une langue n'est pas régulière, nous ne pourrons peut-être pas prouver ce fait en utilisant le lemme de pompage.
Mais il s'avère que nous pouvons utiliser le lemme de pompage pour prouver que votre langue maternelle n'est pas régulière. Je ne suis pas sûr de la seconde.
Prétendre: L1 n'est pas régulier.
Preuve: par le lemme de pompage. Laisserpêtre la longueur de pompage. (Je vais utiliser l'alphabet{ a , b } plutôt que { 0 , 1 }.) Si p = 1, puis prenez la chaîne a b b a a, lequel est dedans L1 et le pomper a a b b a a qui n'est pas en L1, donc L1 ne serait pas régulier.
Si p > 1, puis prenez la chaîne unepb buneN. (Nous trouverons ce que nous voulonsN être plus tard.) Considérez ensuite toute division de la chaîne en x yz où x =unep - k, y=ak, et z=bbaN.
Maintenant, pompons cette chaîne ifois. (Nous trouverons ce que nous voulonsi être plus tard.) Nous obtenons la chaîne xyiz, qui donne ap−kaikbbaN=ap−k+ikbbaN.
Maintenant, revenons en arrière. Tout d'abord, nous avons choisiN. Ensuite, un choix deka été faite. Ensuite, nous avons choisii. Nous voulons comprendre ce queN choisir de telle sorte que, pour tout choix de k∈[1,p], nous pouvons choisir un i qui fait de cette chaîne un palindrome en faisant le nombre de as à gauche est égal au nombre à droite. (Il aura toujours une longueur égale.)
Nous voulons donc toujours obtenir cela p−k+ik=N. Si nous jouons avec les mathématiques, nous constatons que nous devons choisirN=p+p! et choisissez i=p!/k+1.
Donc, pour récapituler, nous avons choisi N=p+p! et a choisi la chaîne apbbaN. Ensuite, un choix dek a été fait pour que la chaîne soit composée de ap−kybbaN où y=ak. Ensuite, nous avons choisii=p!/k+1. Nous avons pompé la chaîne pour obtenirap−kyibbaN=ap−kaikbbaN=ap−k+ikbbaN.
Mais nous savons que p−k+ik=p−k+(p!k+1)k=p−k+p!+k=p+p!. EtN=p+p!. Donc, le nombre deas aux deux extrémités est le même, donc la chaîne est un palindrome de longueur égale, donc ce n'est pas dans L1, donc L1 n'est pas régulier. □