{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}


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

{[ snackBarMessage ]}

Ask a homework question - tutors are online