<m <

Question

이하자 ○ : L = {A, B ^N미터 O C ^{| <미터 < O, N} 천연 I가 선택이 끝난 한 보조 정리를 펌핑하여
N : Z = uvwxy N = A B N + 1 C N + 2
| 자외선 | < = n 및 | V |> 0
=> 자외선 2 WX 2 Y
VWX이의 및/또는 b의 인 경우는 괜찮 우리는 C 년대에 비해 더의 및/또는 B의있을 것입니다 -하지만 vwx에 c가 포함되어 있으면 L의 요소가됩니다.
지금까지 이해 한대로 모두 새 단어는 이 아니며 요소가 아니어야 CFL이 아님을 나타냅니다. 어떻게하면 좋을까요?}

Answer 1

우리는의 혼합이 & B의 사용 자외선 우리는 B의 & C 년대의 혼합이있는 경우
이 ⁰ WX ⁰ Y

이제 모든 자외선을 사용하여 Y ² WX ²의 경우 z를 펌핑하여 생성 된 단어는 L의 요소가 아닙니다.