一个上下文无关文法G包括四个组成部分：一组终结符，一组非终结符，一个（ ），以及一组（ ）。