=== Augmented grammar ===Before the transitions between the different states are determined, the grammar is augmented with an extra rule: (0) S → Ewhere S is a new start symbol and E the old start symbol.