단어 목록의 언어, 다른 모든 것이 아니라, atext-free가 아닙니다
-
29-09-2020 - |
문제
다음 언어가 펌핑 보조제를 사용하여 맥락이없는 것이 아니라는 것을 어떻게 증명합니까? $$ l={w_1 \ #w_k \ # \ dots \ #w_k \ 콜론 k ≥ 2, w_i \ in \ {0,1 \} ^ *, w_i= w_j \ text {일부} i \nj \} $$
증거에 사용할 문자열을 선택하는 데 어려움이 있습니다.나는 내가 서로에 의해 분리 된 적어도 두 개의 하위 문자열이 서로 같지 만 이것에 접근하는 방법을 확신하지 못하도록하는 문자열을 선택해야한다는 것을 알고있다.누군가가 나를 도와 줄 수 있다면, 나는 그것을 감사 할 것입니다.
해결책
$ l $ 이 상황이 없으면 $ l '= d (l \ cap (0+1) ^ * \ # (0 + 1) ^ *) $ 이 존재하는 것은 $ d $ 은 $ \ # $ .그러나 $ l '$ 은 사각형의 언어입니다 (양식 $ w ^ 2 $ )atext가없는 것으로 알려지지 않는 것입니다.
어떤 이유로 $ l $ 이 펌핑 보조제를 사용하여 직접 맥락이없는 것은 아니며 $ l '$ 은 맥락이없고 적응하려고하지 않습니다.
제휴하지 않습니다 cs.stackexchange