Pumping Lemma를 사용하여 언어가 규칙적으로 변하지 않았 음

Question

펌핑 보조 정리를 사용하여 다음 언어가 규칙적이지 않다는 것을 증명하려고합니다.

L = {A, B ^{K3리터리터} | I w를 선택하기로 결정 ≥ 0}

≥ 1, L = A B 케이 ^3PP 다음 | W | = 4p + 1 ≥ p

팁이 있습니까?

감사합니다.

Answer 1

사용중인 펌핑 보조 정리의 정확한 공식에 대해 확실하지 않습니다. 어쨌든, 이것은 다소 까다로운 경우입니다. 왜냐하면 wikipedia과 같은 표준 공식은 고정 길이의 접두사 어딘가에 펌프를 꽂을 수 있기 때문입니다. 그러나 귀하의 초기 블록은 어디서나 펌핑을 허용하며 임의로 길 수 있습니다. 따라서 추가 속성을 사용해야합니다. 두 가지를 제안합니다 :

• 일반 언어는 역전으로 폐쇄됩니다. 따라서 $ L^R = {a^l b^{3l} a^k} $를 볼 수 있습니다. 이제 초기 블록에있는 모든 펌핑은 언어에서 벗어날 것입니다.
• 일반 언어는 교차로에서 닫힙니다. 만약 당신이 b + a +와의 교차점을 취하면 $ {a b^{3l} a^k} $로 끝나고, 이제 b 블록을 펌핑하면 언어가 빠져 나옵니다.