This preview shows page 1. Sign up to view the full content.
Unformatted text preview: “On input w : 1. RUN TM S on input 2. If S accepts -accept . Otherwise – reject .“ Proof 47 G M = G M w G ,...
View Full Document
This note was uploaded on 04/30/2009 for the course CSE 105 taught by Professor Paturi during the Winter '99 term at UCSD.
- Winter '99