Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
lat:homework [2009/11/27 22:59] vkuncak |
lat:homework [2009/12/06 12:32] (current) radu.iosif |
||
---|---|---|---|
Line 35: | Line 35: | ||
- Let A=(S,s<sub>0</sub>,T,p) be a parity automaton with p:S -> {1,..,k}. Construct a Streett automaton B=(S,s<sub>0</sub>,T,F) equivalent to A that has the same transition structure as A. (i.e., find a suitable set of Streett pairs (F_i,E_i)) | - Let A=(S,s<sub>0</sub>,T,p) be a parity automaton with p:S -> {1,..,k}. Construct a Streett automaton B=(S,s<sub>0</sub>,T,F) equivalent to A that has the same transition structure as A. (i.e., find a suitable set of Streett pairs (F_i,E_i)) | ||
+ | ===== 6.12.2009 ===== | ||
+ | - Exam-like problems on automata and Presburger Arithmetic {{homework.pdf}} |