diff -r 1d95918391c8 -r 25470d6b220a index.html --- a/index.html Sun Aug 10 03:08:48 2014 +0100 +++ b/index.html Sun Aug 10 03:13:51 2014 +0100 @@ -215,7 +215,7 @@ this blog should be better known. We also answered a -question by Bill Gasarch from the same blog about +question from the same blog about "proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can! This is joint work with Prof. Xingyuan Zhang and his student Chunhan Wu from the @@ -333,7 +333,7 @@

- Last modified: Sun Aug 10 03:06:11 BST 2014 + Last modified: Sun Aug 10 03:13:42 BST 2014 [Validate this page.]