上下文敏感語言的抽象引理？

Question

我已經搜索了關於上下文敏感的抽取引理，它似乎只產生無上下文語言的結果。

抽取引理只允許證明語言只是上下文無關？ 而不是上下文敏感？

知道怎么樣？

Answer 1

泵浦引理存在於常規，無上下文，樹鄰接和多上下文的語言中。 Johan Behrenfeld的碩士論文中有一個很好的調查：

http://www.flov.gu.se/digitalAssets/1302/1302983_behrenfeldt-johan-alinguists.pdf

對於上下文相關的語言沒有任何抽象引理。 實際上，這個類具有相當多的生成能力，並且包括沒有任何“抽”屬性的語言，例如{a ^ p | p prime}。

每個抽取引理都聲明了該類中某種語言的屬性。 它可以用來證明一種語言不在那個類中，作為矛盾的證明。 它不能用於證明語言屬於該類。

Answer 2

樹木鄰接語言的“類似抽樣的”方法實際上在文獻中的每個地方都被稱為“樹木鄰接語言的抽象引理”。 它可以證明語言不是樹鄰接的，因此不會對上下文敏感。 也許這是你想到的那個？

它是由Vijay-Shanker在他的博士論文中定義的，遺憾的是在線論文沒有。 盡管如此，通過搜索網絡很容易找到它的工作原理。 許多課程，例如蒂賓根大學的這門課程都給出了很好的解釋。

Answer 3

有兩個抽吸前列腺。 泵引理的正規語言可以證明一個語言不是正規。 針對無上下文語言的抽取引理允許證明語言不是無上下文的，因此不是常規語言。

沒有其他Pumping Lemmas。 為了證明語言是上下文敏感的，您可以首先使用Pumping Lemma證明它不是無上下文的。 然后，您必須提供實際生成給定語言的上下文敏感語法。