Lecture12-1_Part47 - “On input w : 1. RUN TM S on input...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Since L is a CFL, there exist a CFG G that generates L . The problem is solved by TM that contains a copy of G , as follows.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

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.

Ask a homework question - tutors are online