Lecture12-1_Part35

Lecture12-1_Part35 - 35 w G w G A CFG generating CFG a is |...

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

View Full Document Right Arrow Icon
Now we consider the language and prove: Theorem A CFG is a decidable language. Decidable CFG Related Languages
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 35 { } w G w G A CFG generating CFG a is , | =...
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online