equal
deleted
inserted
replaced
213 under complementation, finiteness of derivatives of regular expressions and a surprising |
213 under complementation, finiteness of derivatives of regular expressions and a surprising |
214 result about Subseq, which according to |
214 result about Subseq, which according to |
215 this |
215 this |
216 <A HREF="http://blog.computationalcomplexity.org/2006/01/theorem-that-should-be-better-known.html">blog</A> |
216 <A HREF="http://blog.computationalcomplexity.org/2006/01/theorem-that-should-be-better-known.html">blog</A> |
217 should be better known. We also answered a |
217 should be better known. We also answered a |
218 <A HREF="http://blog.computationalcomplexity.org/2013/02/proving-dfa-langs-closed-under-concat.html">question</A> by Bill Gasarch from the same blog about |
218 <A HREF="http://blog.computationalcomplexity.org/2013/02/proving-dfa-langs-closed-under-concat.html">question</A> from the same blog about |
219 "proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can! |
219 "proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can! |
220 This is joint work with Prof. Xingyuan |
220 This is joint work with Prof. Xingyuan |
221 Zhang and his student Chunhan Wu from the |
221 Zhang and his student Chunhan Wu from the |
222 <A HREF="http://www.ust.com.cn/">PLA University of Science and Technology</A> in Nanjing. |
222 <A HREF="http://www.ust.com.cn/">PLA University of Science and Technology</A> in Nanjing. |
223 My funding for this work came from the |
223 My funding for this work came from the |
331 </TR> |
331 </TR> |
332 |
332 |
333 |
333 |
334 </TABLE> |
334 </TABLE> |
335 <P> |
335 <P> |
336 <!-- hhmts start --> Last modified: Sun Aug 10 03:06:11 BST 2014 <!-- hhmts end --> |
336 <!-- hhmts start --> Last modified: Sun Aug 10 03:13:42 BST 2014 <!-- hhmts end --> |
337 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
337 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
338 </BODY> |
338 </BODY> |
339 </HTML> |
339 </HTML> |