6.34b CFG with no lambda rules (except for perhaps S->lambda) for S-> AB ABC A -> BA BC lambda a B -> A C CB lambda b C -> BC AB A c