可识别语言的一个上下文无关文法G(S):S->aSc|ε
出自:湖南大学-计算机科学与技术