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