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