Telecharger Cours

Synthesis and Control of Infinite-State Systems with Partial ...

if r < ? and |V |? = supi{|Vi|?}, so clearly |V (n)|r ? |V |r. We conclude that. |U(n)|r ? c. As this is true for every n, |U|r ? c < ...



Download