Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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]]
  
 
sav07_lecture_21.txt · Last modified: 2009/05/27 10:26 by vkuncak
 
© EPFL 2018 - Legal notice