0 votes 0 votes In Theorem 6.1, why is it necessary to assume that $A$ and $B$ are different variables? Theory of Computation peter-linz peter-linz-edition4 theory-of-computation context-free-grammar + – Naveen Kumar 3 asked Apr 15, 2019 Naveen Kumar 3 285 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.