0 0 votes Theory of Computation theory-of-computation context-free-grammar conjunctive-normal-form + – Sanjay Sharma 1.3k views answer comment Share Follow Print See all 4 Comments 4 4 Comments reply joshi_nitish commented Dec 10, 2017 reply Follow flag according to me it should be, $R\subseteq V\times (V^{2}\cup\Sigma )$ 1 1 replyShare Ashwin Kulkarni commented Dec 10, 2017 i edited by Ashwin Kulkarni Dec 10, 2017 reply Follow flag Yes It should be R⊆V×(V2∪Σ) So that It will be in the form A->BC or A->terminal From the given options they cannot generate terminal on the RHS. 0 0 replyShare joshi_nitish commented Dec 10, 2017 reply Follow flag no idea @Ashwin, what that option means. 0 0 replyShare Sai Shravan commented Jan 30, 2019 reply Follow flag Also they cant generate s>epsilon which is acceptable in cnf 0 0 replyShare Please log in or register to add a comment.