$14\mathrm{.}8$: Normal Form for Lambda$-$NFA$$s

Let N be a $\backslash$lambda $-$NFA with state set $\{$i$,$ p$,$ f$\},$ start state i$,$ final state set $\{$f$\},$ and transition relation $\{($i$,$ a$,$ p$),($p$,$ b$,$ p$),($p$,\backslash$lambda $,$ f$),($f$,$ b$,$ f$)\}.$ The N is in the normal form used in the construction of Section $14\mathrm{.}8.$