LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]]