l11-handout

l11-handout - Lecture 11: Turing Machines and...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Lecture 11: Turing Machines and Undecidability David Dill Department of Computer Science 1 Outline Recursively enumerable vs. RE. A language that is not RE. Simulation of Turing Machines. 2 Recursive vs. RE Recursively Enumerable Language – accepted when TM enters a final state, rejected otherwise (even if TM loops). Recursive Language – accepted by a TM that always halts, even when it rejects the input. The membership problem for a language is decidable iff the language is recursive. A TM that always halts is called an algorithm . hh Draw circles for Not-RE, RE, Recursive ii 3 Turing machines can make/modify other Turing machines Turing machines can be encoded as strings. Strings can be read and written by Turing machines (so the definition of the machine can be changed). Turing machines can simulate other Turing machines. “Turing machine virtualization” 4
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
String encoding and simulation of Turing Machines Turing machines as strings: Find an encoding for Turing machines as strings of
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 03/08/2011 for the course CS 154 taught by Professor Motwani,r during the Winter '08 term at Stanford.

Page1 / 3

l11-handout - Lecture 11: Turing Machines and...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online