語言L滿足正則語言的抽象引理和上下文無關語言的抽象引理。關於L的下列陳述中的哪一個是真實的？關於語言L，我們可以說什麼？滿足正則語言的抽象引理和上下文無關語言的抽象引理？
答：L必須是一種常規語言。
B. L必須是CFL，但不是Regular。
C. L必然是一個非常規的。
D.無
我會清除我有疑問的地方。如果L滿足正則語言的抽象引理，那麼它不一定是規則的。與上下文無關。所以它可以是正常的或不正規的。 CFL或非CFL。給出的答案是B，但在我看來，它應該是D.任何人都可以指出我錯過了什麼。
答案B絕對不對。嘗試語言Σ *，這是絕對規則的，絕對上下文無關。它也通過了兩個抽象引理的條件。因此，語言不是上下文而是不常規的。
兩個抽水引理給必要條件語言要定期或上下文，而不是足夠條件，這些語言是定期或上下文無關。因此，如果一種語言通過了兩個抽象引理，則它可能是可能是，它可能是可能是上下文無關，但不能保證這一點必然如此。
我很確定D是這裏的正確選擇。
希望這會有所幫助！
這不是泵吸引文所做的。它們可以被定義爲常規/ CFL語言的屬性，在這種情況下，語言既是CF又是常規語言（因爲那些語言是場景），因此是規則的，或者它們可以表示爲表示語言不是CF /常規的屬性，在這種情況下，語言不是CF（其中包括非常規）。但是這個問題並沒有說明它所談論的抽象引理的哪些變體。 – Fizz
@RespawnedFluff我從來沒有見過你所指的抽象引理的變體（那些說，如果一種語言有一些屬性，它絕對不是一個CFL）。你能提供一個參考嗎？我很好奇，看看他們是如何工作的。 – templatetypedef
任何形式爲「p意味着q」的數學表述都可以重新表述爲「非q意味着非p」。這正是泵送引理髮生的情況......泵送引理通常用於後一種形式的證明（不具有R/CF-泵送屬性意味着語言不是R/CF）。然而，在簡短的調查之後，我發現第一種形式（R/CF語言具有R/CF-抽吸性質）在文獻*中作爲引理聲明*是主要的。 [繼續在下一評論應有的評論長度限制] – Fizz
呃..這個網站不是讓人們免費做作業的一種方式。 –
這不是我的家庭作業。我在這個問題上有疑問。我知道一種語言是否滿足常規語言的抽象引理，那麼它就不是必須的。 –
「給出的答案是B，但在我看來它應該是B.有誰能指出我錯過了什麼。」 - 如果給出的答案是B並且您認爲它應該是B，那麼您似乎錯過了，那麼似乎沒有任何東西丟失。 – Prateek