0 votes 0 votes Theory of Computation theory-of-computation context-free-grammar conjunctive-normal-form + – Sanjay Sharma asked Dec 10, 2017 Sanjay Sharma 803 views answer comment Share Follow See all 4 Comments See all 4 4 Comments reply joshi_nitish commented Dec 10, 2017 reply Follow Share according to me it should be, $R\subseteq V\times (V^{2}\cup\Sigma )$ 1 votes 1 votes Ashwin Kulkarni commented Dec 10, 2017 i edited by Ashwin Kulkarni Dec 10, 2017 reply Follow Share 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 votes 0 votes joshi_nitish commented Dec 10, 2017 reply Follow Share no idea @Ashwin, what that option means. 0 votes 0 votes Sai Shravan commented Jan 30, 2019 reply Follow Share Also they cant generate s>epsilon which is acceptable in cnf 0 votes 0 votes Please log in or register to add a comment.