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