我剛開始閱讀關於抽象引理,並知道如何執行一些證明,主要是通過矛盾。只是這個問題我似乎沒有找到答案。我不知道如何開始。我可以假設,必須有抽水長度爲P,並且對於所有w元素L表示LENGTH(w) >= P。當然,我們可以寫出w爲xyz與抽水引理的三個正常條件。 我必須證明以下語言是非常規: L = {x + y = z | x,y,z element of {0,1}* and #(x) + #(y)
這裏是語法, S -> A | B A -> 0000A | epsilon B -> 000B | epsilon 我考慮上述正則表達式是 0000(0000)*000(000)* //因爲0000和000將被發現至少一次。 這是正確的嗎? 有人對我說,這個語法是不明確的。任何人都可以向我解釋這是爲什麼?