Reduce the non-empty intersection problem on CFGs over
{a,b} to the set of
tuples of three CFGs
G1,G2,G3 whose alphabet is
{a,b} and such that
G1 and
G2 generate at least one common word,
G2 and
G3 generate at
least one common word, but
G1 and
G3 do not generate a common word, in
order to prove that such set is undecidable (not recursive).