... outgoing edges of a state of the result WSA on demand, without cal-culating all edges in the entire machine, we canmaintain a stand -in for the result structure, a ma-chine consisting at first of ... nonterminal n in and returns another WRTG,Goutthat is different from G in in that it has moreproductions, specifically those beginning with n in that are in M (G). Algorithms using stand-insshould ... case, G is a stand -in forM(G), analogous to the stand-ins for WSAs and WSTs described in Section 2.Algorithm 3, PRODUCE, takes as input aWRTG G in = (N in , ∆, P in , n0,M, G) and a de-sired...