设G是一个文法，S是文法开始符号，如果,则称x为文法G[S]的句型。/ananas/latex/p/231787/ananas/latex/p/846/ananas/latex/p/231788
设G是一个文法，S是文法开始符号，如果,则称x为文法G[S]的句型。/ananas/latex/p/231787/ananas/latex/p/846/ananas/latex/p/231788
1
设G是一个文法，S是文法开始符号，如果,则称x为文法G[S]的句型。/ananas/latex/p/231787/ananas/latex/p/846/ananas/latex/p/231788