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

问题描述

我正在练习 Sipser 书中的练习，而这让我很难受：

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

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

我们如何证明 NECESSARYcfg 是 一种。图灵可识别 湾不可判定 ?

Problem screenshot

我很困惑，所以无论是直觉还是正式的回答都将不胜感激。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）