上下文无关文法的文法形式是如何的？

从而获得详细的写法(G)。该中枢(P)是置换P中所有生成式符号而获得的新生成式集，嘟噜(V)、良(V)和良(S)是嘟(P)中提出的言语结集，是独立于言语上下文的语法结集和出发符号。