Answer:
NECESSARY CFG is Turing-recognizable and undecidable already shown bellow
Step-by-step explanation:
solution
5.7m questions
7.4m answers