1 votes 1 votes Is this reduction correct .According to me there B should not be there. Theory of Computation made-easy-test-series theory-of-computation grammar + – Vineeta Garg asked Dec 10, 2016 • recategorized Mar 4, 2019 by akash.dinkar12 Vineeta Garg 320 views answer comment Share Follow See 1 comment See all 1 1 comment reply santhoshdevulapally commented Dec 10, 2016 reply Follow Share cannot reach to nonterminal B from start production ,so it is uselessymbol. here B is useless symbol and all 'B' productions should not in simplified grammar G. and nonterminal A not derives terminal string that is also useless symbol. 1 votes 1 votes Please log in or register to add a comment.