Definition 4.1.1: A phrase structure grammar G is a four-tuple, G = (V, _, P, S), where • V — variables or non-terminals and • _ — terminals are disjoint,finite, non-empty sets , and • P — the productions, is a finite set of ordered pairs of strings, P _ ( (V _ _)* • V • (V _ _)*) _ (V _ _)*, and • S__V — the start symbol.
An ordered pair <_, _>__P that determines a production is always written as _____; we often refer to the components of this pair as the “left-hand” and “right-hand” sides of the production.
| Next slide | Back to first slide | View graphic version |