3
汉明距离等于或大于2的等长单词对的语言是否与上下文无关？
以下语言上下文是否免费？ L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} 如sdcvvc所指出的，该语言中的单词也可以描述为汉明距离为2或更大的两个相同长度单词的串联。 我认为它不是上下文无关的，但是我很难证明这一点。我尝试将此语言与常规语言（例如）相交， 然后使用抽引引理和\或同态性，但是我总是得到一种过于复杂的语言，难以描述和编写下。 0∗1∗0∗1∗ 0∗1∗0∗1∗ \ 0^*1^*0^*1^*