0 votes 0 votes Prove the language L={(G,H)|G is a CFG, H is a DFA, and L(G)∩L(H)=∅} is undecidable. Theory of Computation theory-of-computation number-of-dfa michael-sipser + – baofbuiafbi asked Nov 14, 2023 • retagged Nov 14, 2023 by makhdoom ghaya baofbuiafbi 163 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.