regexp: Changelog

urbanc [Wed, 03 Nov 2010 22:08:50 +0000] rev 17

added more experiments

urbanc [Wed, 03 Nov 2010 21:42:44 +0000] rev 16

added initial slides for informal talk in Cambridge

urbanc [Tue, 26 Oct 2010 23:09:31 +0000] rev 15

added slides of chunhan

urbanc [Tue, 26 Oct 2010 13:01:22 +0000] rev 14

more experiments

urbanc [Sun, 24 Oct 2010 01:17:44 +0000] rev 13

a few more experiments, but no proof for the ALT-case

wu [Sat, 23 Oct 2010 12:51:38 +0000] rev 12

add some proofs about the other direction 1: the NULL case 2: the EMPTY case 3: the atomic CHAR c case

urbanc [Fri, 22 Oct 2010 19:43:56 +0000] rev 11

deleted two unnecessary lemmas

urbanc [Fri, 22 Oct 2010 10:45:01 +0000] rev 10

added a paper by Constable about the Myhill-Nerode in Nuprl using DFA and a paper by tobias about RegExp->DFA translation

urbanc [Thu, 21 Oct 2010 15:35:03 +0000] rev 9

deleted the test

urbanc [Thu, 21 Oct 2010 15:06:30 +0000] rev 8

tried at the end to prove the other direction (failed at the moment)

regexp