构造一个生成L的简单语法:

时间:2015-05-01 12:14:15

标签: context-free-grammar

L ={ a^n b^n c^m | n,m>0}

这是一个问题,但我无法生成任何实际符合简单语法限制规则的语法。 有没有办法可以判断一种语言是否存在简单的语法?

2 个答案:

答案 0 :(得分:0)

S -> aHcT
H -> aHb
H -> b
T -> cT
T -> empty string

答案 1 :(得分:0)

我喜欢这个:

S->TC
T->aUb
C->cD
U->T|null
D->C|null

<强>更新

    S->TC
    T->U
    C->D
    U->aTb|ab
    D->cC|c