I was referring to slide 4 of this, which states following:
It is decidable whether a given CFG accepts a non-empty language?
Then I was reading Intro to Automata theory book by Ullman et al. It states following:
Let $L_{ne}$ be the language of all codes for Turing machines that accept atleast one input string. $$L_{ne}=\{M | L(M)\neq \phi\}$$ $L_{ne}$ is not recursive.
Knowing that "not recursive" is same as "undecidable" and the functionality of Turing machine is expressed as a CFG, I feel that the problems in above two statements sound same and the statements contradicts each other in terms of their decidability claims. Thus, one of them must be wrong. However I also feel that I still miss something basic and both of them are non contradictory and equally true. But then what I miss?