equal
deleted
inserted
replaced
254 "proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can! |
254 "proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can! |
255 This is joint work with Prof. Xingyuan |
255 This is joint work with Prof. Xingyuan |
256 Zhang and his student Chunhan Wu from the |
256 Zhang and his student Chunhan Wu from the |
257 <A HREF="http://www.ust.com.cn/">PLA University of Science and Technology</A> in Nanjing. |
257 <A HREF="http://www.ust.com.cn/">PLA University of Science and Technology</A> in Nanjing. |
258 My funding for this work came from the |
258 My funding for this work came from the |
259 <A HREF="http://www.sinogermanscience.org.cn/">Chinese-German Research Centre</A>. |
259 <A HREF="http://sinogermanscience.dfg.nsfc.cn/de/index.html">Chinese-German Research Centre</A>. |
260 </TD> |
260 </TD> |
261 </TR> |
261 </TR> |
262 |
262 |
263 <!-- |
263 <!-- |
264 <TR> |
264 <TR> |