A grammar G is defined as a 4-tuple ( V N , V T , P , S ) V N is a set of nonterminals V T is a set of terminals P is a set of productions , each production consists of a left side ,an arrow(or ‘::=’),and a right side S is a designation of one of the nonterminals as the start symbol V =V N ∪ V T is the alphabet of G