Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav07_lecture_21 [2009/05/27 10:21] vkuncak |
sav07_lecture_21 [2009/05/27 10:26] (current) vkuncak |
||
---|---|---|---|
Line 8: | Line 8: | ||
* Product construction based on push down automata and context-free grammar equivalence | * Product construction based on push down automata and context-free grammar equivalence | ||
+ | * intersection of regular and context-free language is context-free | ||
* [[Reachable pushdown configurations are regular]] | * [[Reachable pushdown configurations are regular]] | ||