Next: Trivial Decidability
Up: Decidability
Previous: Decidability
Since yes-no problems can be posed as languages, problems with a
recursive languages are decidable . This is because for
recursive languages there exist TMs which will say yes or no for all
inputs.
root
6/10/1998