Không phải tất cả các ngôn ngữ không thường xuyên đều thất bại trong bài kiểm tra bổ đề bơm. Wikipedia có một ví dụ phức tạp khó chịu về một ngôn ngữ không thông thường có thể được bơm. Vì vậy, ngay cả khi một ngôn ngữ không thường xuyên, chúng ta có thể không thể chứng minh thực tế này bằng cách sử dụng bổ đề bơm.
Nhưng hóa ra chúng ta có thể sử dụng bổ đề bơm để chứng minh ngôn ngữ đầu tiên của bạn không thường xuyên. Tôi không chắc chắn về thứ hai.
Yêu cầu: là không thường xuyên.L1
Chứng minh: Bằng bổ đề bơm. Gọi là chiều dài bơm. (Tôi sẽ sử dụng bảng chữ cái thay vì .) Nếu , sau đó lấy chuỗi , có trong và bơm nó vào không phải là trong , vì vậy sẽ không thường xuyên.{ a , b } { 0 , 1 } p = 1 a b b a a L 1 a a b b a a L 1 L 1p{a,b}{0,1}p=1abbaaL1aabbaaL1L1
Nếu , sau đó lấy chuỗi . (Chúng ta sẽ tìm ra những gì chúng ta muốn trở thành sau này.) Sau đó xem xét bất kỳ phân chia chuỗi nào thành trong đó , và .a p b b a N N x y z x = a p - k y = a k z = b b a Np>1apbbaNNxyzx=ap−ky=akz=bbaN
Bây giờ hãy bơm chuỗi này lần. (Chúng tôi sẽ tìm ra những gì chúng tôi muốn trở thành sau này.) Chúng tôi nhận được chuỗi , mang đến cho .i x y i z a p - k a i k b b a N = a p - k + i k b b a Niixyizap−kaikbbaN=ap−k+ikbbaN
Bây giờ hãy sao lưu. Thứ nhất, chúng tôi đã chọn . Sau đó, một số lựa chọn của đã được thực hiện. Sau đó, chúng tôi chọn . Chúng tôi muốn tìm ra những gì để chọn do đó, đối với bất kỳ lựa chọn , chúng ta có thể chọn một mà làm cho chuỗi này một palindrome bằng cách làm cho số của bên trái bằng số trên bên phải. (Nó sẽ luôn có độ dài chẵn.)k i N k ∈ [ 1 , p ] i aNkiNk∈[1,p]ia
Vì vậy, chúng tôi muốn luôn nhận được rằng . Nếu chúng ta chơi xung quanh với toán học, chúng ta thấy rằng chúng ta nên chọnvà chọn .N = p + p ! i = p ! / k + 1p−k+ik=NN=p+p!i=p!/k+1
Vì vậy, để tóm tắt lại, chúng tôi đã chọnvà chọn chuỗi . Sau đó, một số lựa chọn của đã được thực hiện sao cho chuỗi được tạo thành từ trong đó . Sau đó, chúng tôi đã chọn . Chúng tôi bơm chuỗi để có được .a p b b a N k a p - k y b b a N y = a k i = p ! / k + 1 a p - k y i b b a N = a p - k a i k b b a N = a p - kN=p+p!apbbaNkap−kybbaNy=aki=p!/k+1ap−kyibbaN=ap−kaikbbaN=ap−k+ikbbaN
Nhưng chúng ta biết rằng. Và. Vì vậy, số lượng s trên cả hai đầu là như nhau, vì vậy các chuỗi là một palindrome thậm chí dài, vì vậy nó không có trong , vì vậy là không thường xuyên. N=p+p! mộtL1L1◻p−k+ik=p−k+(p!k+1)k=p−k+p!+k=p+p!N=p+p!aL1L1□