S→A S netlist: =makelisto) M→ f M code ip j N→ :(Nnetlist: =makelist(nextcode) emit ( -,0))S→A { S.nextlist:=makelist() } M→ε { M.code:=ip } N→ε { N.nextlist:=makelist(nextcode); emit (j,-,-,0) }