Theorem 5.16: Decidability and mapping reducibility.
Corollary 5.17: Undecidability and mapping reducibility.
Theorem 5.22 and corollary 5.23: Turing recognizability and mapping reducibility.
Theorem 5.24: The problem of testing whether two Turing machines recognize the same language is neither Turing-recognizable nor co-Turing-recognizable.
Chapter 5, exercises 5.1, 5.3, 5.4, 5.6, and problem 5.13.
notes08b.htm, this hand crafted HTML file created August 31, 1998.
Last updated May 14, 2011, by
Rick Wagner. Copyright © 1998-2011, all rights reserved.