$(10$ points$)$ Diagonalization is not just used to prove that a set is uncountable. Use

diagonalization to construct a language which is Turing$-$decidable but not context$-$free.