context-free-grammar - 如何证明 cfg 是 T 可识别但不可判定的？

Question

我正在通过 Sipser 书中的练习，这让我很难过：

如果 CFG G 中的变量 A 是必要的（即，它出现在属于 G 的某个字符串 w 的每个推导中。

NECESSARY_cfg = {<G,A>|A 是 G 中的必要变量}

我们如何证明 NECESSARYcfg 是一个。图灵可识别 B. 无法确定？

问题截图

我很困惑，所以直觉和正式的答案都将不胜感激。