从语言到上下文无关语法[关闭]

Question

给定语言 K = {e^h f^i | 2h > i > h} 我需要生成上下文无关语法

我想出的一些生产规则是：S -> eeTfff 和 T -> eTff | ε

它们仅在 n = m + 1 时起作用，但我不知道如何为 2h > i > h 中的每个组合生成任何规则。

Answer 1

首先，找出语言中最短的字符串。我们需要 i > h，所以我们可能会猜测 h = 0；然而，这无济于事，因为我们不能满足 2h > i。我们遇到了同样的事情 h - 1。选择 h = 2，i 的唯一选择是 3。所以语言中最短的字符串是 eefff。不能有任何其他长度为 5 的字符串。

要获得更长的字符串，我们可以在前面添加 e 或在末尾添加 f。显然，如果我们在前面添加一个 e，我们必须始终在末尾添加至少一个 f，并且永远不要超过两个 f。我们可以确认 e.eeff.f 和 e.eefff.ff 都在我们的语言中。这暗示了一个语法：

S -> eefff | eSf | eSff

一旦找到候选人，您就可以尝试使用数学归纳法来证明它。在我们的例子中：

基本情况：语言 eefff 中最短的字符串由产生式 S -> eefff 给出。

归纳假设：假设语法生成语言中的所有字符串，并且语法生成的所有内容都在语言中，对于所有长度不超过 k 的字符串。

归纳步骤：我们必须证明（1）由文法生成的长度为 k+1 的字符串是在语言中，（2）在语言中长度为 k+1 的字符串是由文法生成的。

1. 由语法生成的长度为k+1 的字符串是使用S -> eSf 或S -> eSff 生成的。在第一种情况下，从RHS 上的S 派生的字符串的长度为k-1；其次，它的长度为k-2。在这两种情况下，字符串都是归纳假设的语言。也就是说，h

2. 考虑语言中任何长度为k+1 的字符串。我们有 h + i = k + 1 和 h k-1 和k-2 的子串。通过排除第一个 e 和最后一个和两个 f 形成。前者要么是语言中的字符串，要么后者是。要看到这一点，假设两者都不是。但是，(h-1)

   ((i <= h) or (i >= 2h - 1))
   

   和 ((i = 2h))

因为我们知道 h k+1 的字符串，只需应用S -> eSf 或S -> eSff，具体取决于语言中的子字符串（两者都可能）。