Here N is a marker nonterminal in the grammar causes a semantic action to pick up, at appropriate times, the index of the
next instruction to be generated.
Consider semantic action E→E1 or NE2
If E1 is true, then E is also true
If E1 is false, however, we must next test E2 .This target is obtained using the marker nonterminal N. That nonterminal produces, as a synthesized attribute N , the index of the next instruction, just before E2 code starts being generated.