Lecture12-1_Part42

Lecture12-1_Part42 - 4. If the start variable is not marked...

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

View Full Document Right Arrow Icon
M= “On input , where G is a CFG: 1. Mark all terminal symbols in G . 2. Repeat until no new variables are marked: 3. Mark any variable A where G has a rule of the form and are all marked.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 4. If the start variable is not marked accept otherwise reject . The Emptiness Problem for CFL-s 42 G k U U U A 2 1 k U U U , , , 2 1...
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