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