Theory of computation

50 Views Asked by At

For any language $A$, $B$ and $C$ such that $A\subseteq B \subseteq C$, if both $A$ and $C$ are decidable, then $B$ is decidable.

True or False?

How can I find this?

1

There are 1 best solutions below

0
On BEST ANSWER

Here is a counterexample: take $A$ to be the empty language, $C$ to be the full language (with respect to the given alphabet), and $B$ to be any undecidable language.