Theorem 4.1.2: For each context-free grammar G = (V, _, P, S) with L(G) ° _, there is G' = (V', _, P', S) so that L(G') = L(G), V'_ V, P'_ P, and G' has no dead symbols.
Theorem 4.1.3: For each context-free grammar G = (V, _, P, S) with L(G) ° _, there is G' = (V', _', P', S) so that L(G') = L(G), _' _ _, V' _ V, P' _ P, and G' has no dead symbols and no unreachable symbols.
Previous slide | Next slide | Back to first slide | View graphic version |