1 votes 1 votes Given answer is (a) but L->AB i think it is wrong because A and B produce something else Previously, so instead of L->AB there would have given like L->MN M->c1 and N->S then it was correct . if I am wrong please correct me. Compiler Design theory-of-computation context-free-language discrete-mathematics derivation-tree conjunctive-normal-form + – learner_geek asked Aug 5, 2017 learner_geek 1.5k views answer comment Share Follow See all 4 Comments See all 4 4 Comments reply joshi_nitish commented Aug 6, 2017 reply Follow Share @learner_geek L-->AB is correct, because before coverting to CNF, you have to eliminate certain kinds of things(epsilon transitions, unit productions etc).. now there is unit production i.e L-->S, you have to remove it..now modified grammer will be, S--->(L)/a L--->L,S/(L)/a, now when you covert it into CNF, you will find all the productions of option (A), but still option (A) is not correct because L--->a should also be present in production... 1 votes 1 votes learner_geek commented Aug 6, 2017 reply Follow Share Now i think it should be correct. 0 votes 0 votes joshi_nitish commented Aug 6, 2017 reply Follow Share yes correct... 1 votes 1 votes learner_geek commented Aug 6, 2017 reply Follow Share Thanks for your verification 0 votes 0 votes Please log in or register to add a comment.