私の cs クラスの 1 つで、文脈自由文法と文脈依存文法の違いは、CSG では、生成規則の左側が右側よりも小さいか等しくなければならないということでした。
そのため、彼らが示した例の 1 つは、最初の規則が満たされないため、文脈依存文法は空の文字列を持つことができないというものでした。
ただし、通常の文法は文脈自由に含まれ、文脈自由は文脈依存に含まれ、文脈依存は再帰可算文法に含まれることを理解しています。
したがって、たとえば、文法が再帰的に列挙可能である場合、文脈依存型、文脈自由型、および規則型でもあります。
問題は、これが発生した場合、空の文字列を含む文脈自由文法がある場合、文脈依存としてカウントされる規則を満たさないことですが、矛盾が発生することです。文脈自由です。