CS 4510 Lecture Notes - Lecture 10: Context-Free Grammar, Context-Free Language, Pome

19 views3 pages
26 Mar 2021
Course
Professor

Document Summary

( e c tur e t e w proof pc 1 . Prove that cfg"s are equivalent to pda "s . Theorem : a language is context -free "iff pome pushdown automata recognizes it . Lemma : if a language is context - free , i a pda that recognizes it . proof idea : If a language a is context- free, then it has a cfg that generates it . we show how to construct a pda that herogmitef it . Pie pda p rrwirueates g - it when the stack ppa and ppg to stone the denied string (from g. ) Place special $ marker on the reach , then place s (the staring symbol ) ($ piste tells us when we hit the bottom of the stack . ) * the initial denied string is s . g then we repeat the following - consider 3 cases.

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers
Class+
$8 USD/m
Billed $96 USD annually
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers

Related Documents

Related Questions