Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- if Q is an instance of the Post Correspondence Problem with a match
- then P
- else reject
- Write T on the tape.
- Query oracle with contents of tape.
- Output the opposite of what the oracle outputs.
Add Comment
Please, Sign In to add comment
