Next: A non-r.e. language: Ld
Up: Strategy for decidability
Previous: Strategy for decidability
Decidability can be determined by the application of the previously
mentioned decidability theorems, or reducing a problem to another
problem of previously determined decidability.
root
6/10/1998