“…(X → ε, ∅), for all X ∈ {A, B, C , D}, (7) ($ → ε, {A, B, C , D, A , B , C , D , S , S}), and P 2 contains these productions: (9) (C → C , {A, C , A , C }), (10) (B → B , {B, D, B , D }), (11) (D → D , {B, D, B , D }), (12) ($ → $, {B , C }), (13) …”