computer-science - 是語言{0 ^ n 1 ^ n 0 ^ k | k！= n}上下文免費？

語言是{0 ⁿ 1 ⁿ 0 ^k | k！= n}上下文免費？

不，語言L = {0 ⁿ 1 ⁿ 0 ^k | k！= n} 不是無上下文語言 。 此外，經典語言類是類無上下文語言的子集。

你使用PDA想法是正確和明顯的方式來表明語言不是上下文。 並且我們不能為語言0 ⁿ 1 ⁿ 0 ^k繪制PDA ，因為在匹配前綴0 ⁿ到1 ⁿ堆棧變為空之后，我們沒有存儲信息來檢查天氣后綴0 ^K是否等於n 。

提示：正式證明

第一

L = {0 ⁿ 1 ⁿ 0 ^k | k！= n}現在L的補碼是L ^' 。

L ^' = {{0 ⁿ 1 ⁿ 0 ⁿ }，這是眾所周知的上下文敏感語言（可以證明）。

上下文敏感語言的補充本身就是上下文敏感的。

第二

對於泵送引理：

L = {0 ⁿ 1 ⁿ 0 ^k | k！= n}是L ₁和L _2的聯合，其中
L ₁ = {0 ⁿ 1 ⁿ 0 ^k | k> n}且L ₂ = {0 ⁿ 1 ⁿ 0 ^k | k <n}，

L = L ₁ UL ₂

L ₁和L ₂都是非上下文語言。 兩種非上下文免費語言的聯合是非上下文無關的。 （可以通過語法輕松證明）

此外， 聯合，兩個上下文相關語言的串聯是上下文敏感的。

[英]Is the language A = {0^n 1^n 0^n} context free?

[英]Is this grammar {a^2n b^n | n >= 0} context free or not?

[英]prooving that a language of form 0^n where n is prime is neither regular nor context free

[英]array size n into k same size groups

[英]How can I sort n words with length k in linear time?

[英]Is a^n, where n>1000 a regular language?

[英]Is L = {a^n a^n b^m |m, n ≥ 0} a regular or irregular language?

[英]Finding max and min nodes possible in a tree of depth k and with a branching factor of n

[英]Is n log n = O(n) and is n log n = Omega(n)

[英]pda to accept the language L={a^n b^m | n<m}

是語言{0 ^ n 1 ^ n 0 ^ k | k！= n}上下文免費？