Question

假设：

    S->AcA|BcB
    A->ccBc|ABA|cc
    B->c

step1

    S0->S
    S->AcA|BcB
    A->ccBc|ABA|cc
    B->c


step2             // change symbol to terminals?

    S0->S
    S->ABA|BBB
    A->BBBB|ABA|BB
    B->c

step3             // split?

    S0->S
    S->ABA
    S->BBB
    A->BBBB
    A->ABA
    A->BB
    B->c

step4             // what to do when A->AXA?

    S0->S
    S->ABA
    S->BBB
    A->BBBB   //??
    A->ABA    //??
    A->BB     //??
    B->c

我不确定如何继续。

Answer 1

您没有第2步。 Step 2 is removing epsilon rules，你没有epsilon规则。

您也没有步骤3，因为B-> c在其右侧有一个终端 - 而不是非终端 - 。表格中没有单位规则：

Terminal -> Terminal.

这使我们离开你的第1步：

S0 -> S
S -> AcA|BcB
A -> ccBc|ABA|cc
B -> c

您需要以以下形式获得其余规则：

X -> YZ //where X,Y,Z are all nonterminals

要将非终结符号和终端字符串转换为上述表单，请从前面获取第一个非终结符号或终端，然后将其余字符串转换为新规则，并在结尾处使用该规则。我没有解释得那么好，所以让我们看一个例子。

//To convert
S -> AcA
//we split it into A and cA, and define a new rule C -> cA, giving:
S -> AC
C -> cA
//Then, C -> cA needs to be converted to the same form, so just replace c with B
S -> AC
C -> BA

然而，抛出上述内容，因为我首先要将所有c更改为B，因为无论如何都会发生这种情况：

S0 -> S
S -> ABA|BBB
A -> BBBB|ABA|BB
B -> c

现在我再次看你的问题，这就是你所在的地方。你更进了一步：

S0 -> S
S -> ABA
S -> BBB
A -> BBBB
A -> ABA
A -> BB
B -> c

如果我们采用第一个S，并使用上述方法，我们得到：

S -> ABA
//goes to
S -> AC
C -> BA

执行其余规则，我们得到：

//second S
S -> BD
D -> BB

//first A
A -> DD

//second A:
A -> AC

结合这一切，我们得到：

S0 -> S
S -> AC
S -> BD
A -> DD
A -> AC
A -> BB
B -> c
C -> BA
D -> BB

在将CFG转换为CNF时，您如何做最后一步？

1 个答案: