Is this really necessary? Can't you just make the entry state of the nonterminal point to a whitespace state? Or am I missing some subtlety here?