170 > Reduction Proofs > Flashcards
A_TM to 101_TM
A_TM to E_TM
E_TM to EQ_TM
A_TM to HALT_TM
170 (7 decks)